Logic Programming: Proceedings of the The 7th International Conference

Front Cover
David H. D. Warren, Peter Szeredi
MIT Press, May 22, 1990 - Logic programming - 808 pages
0 Reviews
JUNE 18-22, 1990, JERUSALEM, ISRAEL

Applications. Implementation. Machines. Programming Methodology and Tools. Theory and Foundations. Deductive Databases. Languages. Parallel Execution. Relations with Artificial Intelligence.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Detection Algorithm of Perpetual Suspension in KL1
18
Yu Inamura and Satoshi Onishi
31
A Performance
49
Copyright

12 other sections not shown

Common terms and phrases

Bibliographic information