## Logic programming: proceedings of the eighth international conferenceJune 25-28, 1991 Paris, France Topics covered: Theory and Foundations. Applications. Implementation, Machines, and Architectures. Parallel Execution. Programming Methodology and Tools. Logical Languages for Parallelism. Relations with Software Engineering. Relations with Deductive Databases. Relations with Artificial Intelligence. Extensions, Constraints. |

### From inside the book

29 pages matching **abstract substitutions** in this book

Where's the rest of this book?

Results 1-3 of 29

### What people are saying - Write a review

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

### Contents

Explaining SLDNF Resolution with NonNormal Defaults | 18 |

A New Rule for the Treatment | 32 |

Combined Determination of Sharing and Freeness | 49 |

Copyright | |

55 other sections not shown

### Common terms and phrases

abductive abstract interpretation abstract substitutions abstract unification algorithm analysis Andorra answer substitutions apply arguments ASub atoms axioms choice point compiler complete Computer Science consider Constraint Logic Programming contains corresponding default defined Definition denoted derivation domain equations equivalent example extended finite fixpoint formula framework free variables given goal graph ground hasType Herbrand Herbrand universe higher-order unification HiLog Horn clause implementation instantiated intelligent backtracking least fixpoint Lemma lexical logic programs logic programming language loop modules negation nodes normal program notion occurs operational semantics paper perfect relaxation problem Proc procedure program clauses programming language Prolog Prolog programs proof Qu-Prolog quantified query recursive register allocation represent restriction rule semantics of logic sequence sharing SLDNF solution solved specification stable model structure subset tail recursive termination Theorem transformation tuple unification algorithm unifier VHDL well-founded