Logic programming: proceedings of the eighth international conference

Front Cover
MIT Press, 1991 - Computers - 952 pages
0 Reviews
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.

From inside the book

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

Common terms and phrases