CLP*

CLP*

(language, logic programming)
A derivative of Constraint Logic Programming (CLP).

["CLP* and Constraint Abstraction", T. Hickey, 16th POPL, pp. 125-133, 1989].