dblp.uni-trier.de www.uni-trier.de

5. ICLP / SLP 1988: Seattle, Washington

Robert A. Kowalski, Kenneth A. Bowen: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988. MIT Press 1988, ISBN 0-262-61056-6 (2 Volumes)

Applications

Constructive Negation

Databases

Grammar and Parsing

Logic and Functional Programming

Meta-Programming

Objects

Problem-Solving and Novel Techniques

Programming Environments

Temporal Reasoning

Types

Unification and Constraints

Abstract Interpretation and Data Dependency

Complexity

Extensions and Variations of LP

Miscellaneous Theory

Reasoning about Programs

Semantic Issues

Semantics of Negation

AND-Parallelism

AND/OR-Parallelism

Concurrent Systems

Implementation

Or-Parallelism and Parallel Prolog

Invited Talks

Copyright © Mon Nov 2 20:46:19 2009 by Michael Ley (ley@uni-trier.de)