Logic Programming: Proceedings of the Fourth International Conference, Volumes 1-2

Front Cover
Jean-Louis Lassez
MIT Press, 1987 - Computer programming - 1056 pages
The 45 contributions in this book consider all aspects of logic programming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; knowledge representation, reasoning, and expert systems; and relations to other computation models, programming languages, and programming methodologies. There are chapters on novel applications and on applications that address the unique character of logic programming. Invited speakers are Keith Clark (Imperial College, London), Herve Gallaire (ECRC, Munich), Fernando Pereira, (SRI International), K. R. Rao (University of Melbourne), J. Alan Robinson (Syracuse University), and Masahiko Sato (Tohoku University). Logic Programming: Proceedings of the Fourth International Conferenceis included in the series Logic Programming (Research Reports and Notes), edited by Ehud Shapiro. Two-volume set

From inside the book

What people are saying - Write a review

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

Contents

KL1 Execution Model for PIM Cluster with Shared Memory 338
553
Contents
563
and 2
638
Copyright

7 other sections not shown

Other editions - View all

Common terms and phrases

About the author (1987)

Jean-Louis Lassez is a Research Scientist with IBM's Thomas J. Watson Research Center.

Bibliographic information