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.

Related books

Contents

Explaining SLDNF Resolution with NonNormal Defaults
18
A New Rule for the Treatment
32
Combined Determination of Sharing and Freeness
49
Copyright

55 other sections not shown

Common terms and phrases