CLP*




A derivative of Constraint Logic Programming (CLP).

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



< Previous Terms Terms Containing CLP* Next Terms >
closure conversion
Clover
clover key
cloysism
CLP
CLP*
Constraint Logic Programming
CLP(R)
CLP(sigma*)
CLR
CLtL1
CLtL2