Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume 1
Robert Kowalski, Kenneth A. Bowen
MIT Press, 1988 - Logic programming - 1690 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
P G Bosco C Cecchi and C Moiso Exploiting the Full Power
McCrosky and Antony Kusalik Improving FirstClass Array
Toramatsu Shintani A Fast PrologBased Production System
43 other sections not shown
abstract active algorithm allows analysis answer appear application approach argument assume atom backtracking body bound clause compiler complete computation condition consider consists constraints construction contains corresponding database defined definition denote derivation described discussed domain edge efficient elements equations evaluation example execution exists expression extension fact fails failure Figure finite function give given goal grammar graph ground head implementation inference instance instantiated interpreter introduced language literal Logic Programming matching means method mode node normal object obtained occurs operator parallel partial pattern performance positive possible predicate presented problem procedure Prolog proof query relation represented restricted result rewriting rule selected semantics solution solve specified step stream structure substitution symbol technique theory transformation tree unification unify University variables