Logic programming: proceedings of the eighth international conference
June 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.
29 pages matching abstract substitutions in this book
Results 1-3 of 29
What people are saying - Write a review
We haven't found any reviews in the usual places.
Explaining SLDNF Resolution with NonNormal Defaults
A New Rule for the Treatment
Combined Determination of Sharing and Freeness
55 other sections not shown
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