Logic Programming: Proceedings of the Eighth International ConferenceKōichi Furukawa 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. |
Contents
Explaining SLDNF Resolution with NonNormal Defaults | 18 |
A New Rule for the Treatment | 32 |
Pierro Maurizio Martelli and Catuscia | 45 |
Copyright | |
55 other sections not shown
Other editions - View all
Common terms and phrases
abductive abstract interpretation algorithm analysis Andorra Andorra-I apply arguments atoms backtracking called compiler complete Computer Science consider consistent Constraint Logic Programming corresponding Deductive Databases default defined definition denote domain equations example execution extended finite fixpoint formula framework function goal graph ground Herbrand Herbrand universe higher-order higher-order unification HiLog Horn clauses implementation instantiated Lemma linear literal logic pro logic programming language minimal models model semantics negation negation as failure node normal occur operational semantics operator or-parallelism paper parallel predicate problem Proc procedure program clauses programming language Prolog proof prove Qu-Prolog quantified query recursive reduction relation represented rule satisfied semantics of logic sharing SLDNF solution solved form specification stable model structure substitution symbols termination Theorem theory tree unification unifier variables VHDL well-founded well-founded semantics worker