Publication
International Conference on APL 1987
Conference paper
APL2 implementations of unification
Abstract
This paper defines unification, the pattern matching process used in logic programming, and presents various alternatives for constructing algorithms.