Skip to main content
Research
International Conference on APL 1987
Conference paper

APL2 implementations of unification

Download paper

Abstract

This paper defines unification, the pattern matching process used in logic programming, and presents various alternatives for constructing algorithms.

Related

View all publications