## Logic programming: proceedings of the fifth international conference and symposium, Volume 2 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Ver6nica Dahl Representing Linguistic Knowledge through Logic | x |

Inference Engines in the Epsilon Logic Programming | xi |

Program Committee | xv |

Copyright | |

22 other sections not shown

### Common terms and phrases

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