## Logic Programming: Proceedings of the North American Conference, 1989, Volume 1The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines. Logic Programming: Proceedings of the, North American Conference 1989 is included in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.Two-volume set |

### From inside the book

Try this search over all volumes: **atoms**

Results 1-0 of 0

### What people are saying - Write a review

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

### Contents

Applications | 3 |

Expanding Query Power in Constraint Logic Programming Languages | 20 |

Simplification and Elimination of Redundant Linear Arithmetic Constraints | 37 |

Copyright | |

38 other sections not shown

### Common terms and phrases

abstract interpretation affine hull algorithm and-or tree and-parallelism application atoms autoepistemic logic backtracking binding array called chain closed world assumption compiler Computer Science consider constraint hierarchies Constraint Logic Programming construction context database default defined definition denote derivation disjunctive domain elimination environment evaluation example extension finite fixpoint formula given goal G gramming ground Hence Herbrand model Horn clause i.cond implementation increment language Lemma Logic Programming minimal model model semantics negation negation as failure negative literals node nonmonotonic obtained operator paper parallel execution Parcall Frame predicate predicate completion problem procedure processor Prolog proof pruning query recursive redundant constraints relation renaming result rule sequence sequential set of clauses side-effect solution solved stable model stable model semantics stack strictly independent subgoal substitution supported circumscription task model technique Theorem theory tree tuple unification unifier variables WME-refutation

### References to this book

Programming Language Implementation and Logic Programming: 4th International ... Maurice Bruynooghe,Martin Wirsing No preview available - 1992 |