HCLP

Hierarchical CLP

See CLP[2].

"Constraint Hierarchies and Logic Programming", A. Borning et al, in Proceedings of the Sixth International Logic Programming Conference, June 1989, pp. 149-164.