Logic Programming: Proceedings of the 1994 International Symposium

Front Cover
Maurice Bruynooghe
MIT Press, 1994 - Computers - 690 pages
November 13-17, 1994, Ithaca, New York


The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis.

Logic Programming series, Research Reports and Notes

From inside the book

What people are saying - Write a review

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

Contents

Abstract Interpretation and Partial Evaluation in Functional and Logic
17
Combining Functional and Logic Programming Languages
43
Signed Logic Programs
61
Copyright

5 other sections not shown

Common terms and phrases

Bibliographic information