CLP*

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

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

[Difference?]

Nearby terms:
Clover « clover key « CLP « CLP* » CLP(R) » CLP(sigma*) » CLR