Logic programming: proceedings of the fifth international conference and symposium, Volume 1
These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory."Logic Programming is included in the Logic Programming series Research Reports and Notes, edited by Ehud Shapiro.
12 pages matching negative subgoals in this book
Results 1-3 of 12
What people are saying - Write a review
We haven't found any reviews in the usual places.
McCrosky and Antony Kusalik Improving FirstClass Array
Dincbas H Simonis and P van Hentenryck Solving
46 other sections not shown
abstract Active Edge adorned algebra algorithm application approach argument atom Attribute Grammars backtracking called chart parser compiler complete conjunction constraints construction contains corresponding data flow data flow diagram data structure DCTG debugging Deductive Databases defined definition denote derived domain efficient equational logic example execution extended Figure finite given goal gramming graph ground Horn clause implementation induction inference rules input instance instantiated intensional variables interpreter KORE/IE lemma Logic Programming meta-interpreter metaprograms metarules negation as failure negative literals negative subgoals node normal object OPS5 optimization options order-sorted output parallel paramodulation Parlog parse tree partial evaluation problem Proc procedure programming language Prolog Prolog program proof tree query evaluation Recursive refutation resolution restriction result Section semantics simulation solution solve specific strategy stratified program substitution technique term rewriting system Theorem theory tion transformation tuple TYPOL programs unifiable unification