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
0 Reviews
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.

Contents

Applications
3
Expanding Query Power in Constraint Logic Programming Languages
20
Simplification and Elimination of Redundant Linear Arithmetic Constraints
37
Copyright

38 other sections not shown

Common terms and phrases

References to this book

Bibliographic information