Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume 1These 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.
Contents
P G Bosco C Cecchi and C Moiso Exploiting the Full Power | 3 |
McCrosky and Antony Kusalik Improving FirstClass Array | 18 |
Toramatsu Shintani A Fast PrologBased Production System | 26 |
Copyright | |
43 other sections not shown
Common terms and phrases
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
Bibliographic information
| Title | Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume 1 Logic Programming: Proceedings of the Fifth International Conference and Symposium, IEEE Computer Society, ISBN 0262610566, 9780262610568 Logic programming -international conference- Logic programming, ISSN 1061-0464 MIT Press series in logic programming |
| Editors | Robert Kowalski, Kenneth A. Bowen |
| Publisher | MIT Press, 1988 |
| Original from | the University of California |
| Digitized | Jun 19, 2007 |
| ISBN | 026261054X, 9780262610544 |
| Length | 1690 pages |
| Export Citation | BiBTeX EndNote RefMan |