Constraint logic programming languages. - Cohen, Jacques (Communications of the ACM, 1990)