VDict mobile



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