Functional constraint hierarchies in CLP
HCLP extend CLP to include constraint hierarchies. We present an algorithm based on our previous work and on the extended notion of comparators for comparisons between the hierarchies that arise from alternate rule choices in the program.
KeywordsConstraints Constraint hierarchy CLP HCLP
- Borning, A., Wilson, M. Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison, in Proceedings of the North American Conference on Logic Programming, Cleveland, Oct. 1989.Google Scholar
- Freeman-Benson, B.N. Multiple solutions from constraint hierarchies. Tech. Rep., 88-04-02, University of Washington., Apr. 1988.Google Scholar
- Bouzoubaa, M., The Houria Constraint Solver, in Proceedings of the Fifth Scandinavian Conference On A.I., IOS press, Tron., Norway, May, 1995.Google Scholar
- Bouzoubaa, M., Neveu, B., Hasle, G. Houria III: Solver For Hierarchical System, Planning of LWSBG for Equational Constraints, in book of the Fifth INFORMS Computer Science, Dallas, Texas, Jan. 8–10, 1996.Google Scholar