language, logic programming A derivative of Constraint Logic Programming (CLP). ["CLP* and Constraint Abstraction", T. Hickey, 16th POPL, pp. 125-133, 1989]. [Difference?] (1994-11-01)