Colmerauer, Alain "An introduction to Prolog III"
(1990)
[ACM] (1990)
[ACM] CACM 33(07) (July 1990)
Alain Colmerauer
Languages mentioned
Prolog III
{1984} Prolog with unification replaced by constraint resolution.