6. NACLP 1989: Cleveland, Ohio

Constraint Logic Programming

Proof Theory

Abstract Interpretation

Applications

Nonmonotonic Inference

Parallel Implementations

Software Engineering

Constructive Negation

Concurrent Logic Programming

Semantics

Program Transformation

Performance of Parallel Systems

Logic Grammars

Database I

Implementation Topics

Database II

WAM I

Extensions to Logic Programming

WAM II

Invited Talks