Hierarchical CLP.
["Constraint Hierarchies and Logic Programming", A. Borning et al, in Proc Sixth Intl Logic Prog Conf, June 1989, pp. 149-164].
Try this search on Wikipedia, OneLook, Google
Nearby terms: HC-900 « HCF « HCI « HCLP » HCPRVR » HCS » HD
