CLP
Derivation of
CLP* (1465)
Constraint Logic Programming with abstractions