Skip navigation

Logic Programming

The emphasis in The Craft of Prolog is on using Prolog effectively. It presents a loose collection of topics that build on and elaborate concepts learned in a first course.

Selected Research

This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation.

This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.

Proceedings of the 1999 International Conference on Logic Programming

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
Edited by Joxan Jaffar

Includes tutorials, lectures, and refereed papers on all aspects of logic programming,

The 1997 International Symposium

The themes of the1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science.

The 14th International Conference
Edited by Lee Naish

Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet.

Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Edited by Michael Maher

Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis.

From Machine Learning to Software Engineering
The 1995 International Symposium
Edited by John W. Lloyd

The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.

The 12th International Conference

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.

The 11th International Conference

Conference proceedings presenting the state-of-the-art in Logic Programming.

This book gives a tutorial overview of Gödel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.

Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary
Edited by David S. Warren
Constraints, Functions, and Objects
Edited by Frank Pfenning

This collection of original research papers assesses and summarizes the impact of types on logic programming.

A Tutorial Reconstruction

A comprehensive survey of the theory and applications of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems.