What people are saying - Write a review
We haven't found any reviews in the usual places.
Ver6nica Dahl Representing Linguistic Knowledge through Logic
Inference Engines in the Epsilon Logic Programming
22 other sections not shown
2-valued A-terms abstract machine algorithm AND-parallel answer substitution argument atoms backtracking bi-implicative binding called canonical Comp(P compiler complete lattice computation induction Computer Science consider constraint corresponding declarative semantics Deductive Databases defined definite clauses denote equivalence-preserving equivalent example finite fixed point formula function given goal G guard Herbrand model Herbrand universe higher-order unification Horn clause implementation induction hypothesis induction scheme infinite derivation preserving input instantiated interpretation Lassez least fixed point Lemma literal minimal model n-tuples negation Negation as Failure node notion operational semantics operator Ordinals Parlog partial evaluation pointer predicate symbol Proc procedure processor program transformers programming language Prolog proof properties query recursive relation resp result rule semantics of logic specific version stratified programs structure subgoal subset supported model tactic Theorem theory three valued tion tree true truth value tuple unify variables vector weak induction