CLP*

A derivative of CLP[2].

"CLP* and Constraint Abstraction", T. Hickey, Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, ACM 1989, pp.125-133.