What people are saying - Write a review
We haven't found any reviews in the usual places.
RealTime Memory Management for Prolog
Part II OrParallelism
Abductive Systems for Nonmonotonic Reasoning
13 other sections not shown
abstract domain abstract interpretation after(U algebra algorithm application argument atom axiom backtracking binary bounded quantifiers called compiler consider constant construction contains corresponding deduction rules Deductive Databases defined definition denote derivation equivalence example execution expression extended feature finite formal formula garbage collection given goal grammar graph h-system heap Herbrand models Horn clause implementation induction input integrity constraints introduced knowledge base label Lemma metaprograms modal logic natural deduction negation node notion obtained occurring OLDT tree operation operational semantics optimization or-parallel Partial Evaluation predicate problem Proc procedure processor programming language Prolog Prolog programs proof pseudolinks query recursive relation represented result rules of inference schema semantics semantics of logic sequent calculus sort stack static integrity constraints structure subgoals subset substitution syntax T.info Theorem theory trail transformation tuple identifier unification unifier update values variables