Logic Programming: Proceedings of the North American Conference, 1989, Volume 1

Front Cover
Ewing L. Lusk, Ross Alan Overbeek
Mit Press, 1989 - Computers - 1239 pages
The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines.Logic Programming: Proceedings of the, North American Conference 1989 is 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.


Expanding Query Power in Constraint Logic Programming Languages
Simplification and Elimination of Redundant Linear Arithmetic Constraints

38 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information