Cohen, Jacques "Constraint logic programming languages" CACM 33(07) July 1990
(1990)
Languages mentioned
ABSYS
{1966} Aberdeen system declarative language
CHIP
{1985}
Prolog III
{1984} Prolog with unification replaced by constraint resolution.