What people are saying - Write a review
We haven't found any reviews in the usual places.
An Incremental Pure Logic Language with Constraints
A Logic for Practical Reasoning
8 other sections not shown
Other editions - View all
Alvey answer applied approach atomic formulas backtracking bindings classical logic clause logic clause retrieval closed world assumption co-modus ponens computation rules concurrent logic conjunction consistent relative Constraint Technology Data Query Configuration Database Machine deductive defeasible define definition derivable disjunction Edstart evaluation example execution fact FALSE FGDC finite Francisco by noon function Gabbay give goal graph has.opportunity(X Heriot-Watt University Horn clause IKBS Imperial College implementation incomplete information incremental input interfaces intuitive Kenny knowledge based literal logic database logic of satisfactoriness logic programming metalevel modal modus ponens Negation as failure neurons node non-monotonic operation parallel practical reasoning predicate logic problem Prolog Prolog computation Prolog Database Machine Pure Logic Language quantifier recursive resolution engine result rewrite rules rule body rule head shared variables simplifying Skolem substitution succeeds temporal database temporal logic tobe train translation tree true unification unify