Logic Programming: Functions, Relations, and Equations, 1986

Setting the Stage

Unification and Functional Programming

Symmetric Combinations

Programming with Equality

Augmented Unification

Semantic Foundations

a service of Schloss Dagstuhl - Leibniz Center for Informatics