Colmerauer, Alain "Une introduction à Prolog III" FODO 1989 pp264-288
(1989)
Alain Colmerauer
Languages mentioned
Prolog III
{1984} Prolog with unification replaced by constraint resolution.