Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
References
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.
Freeman-Benson, B.N. Multiple solutions from constraint hierarchies. Tech. Rep., 88-04-02, University of Washington., Apr. 1988.
Bouzoubaa, M., The Houria Constraint Solver, in Proceedings of the Fifth Scandinavian Conference On A.I., IOS press, Tron., Norway, May, 1995.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouzoubaa, M. (1996). Functional constraint hierarchies in CLP. In: Freuder, E.C. (eds) Principles and Practice of Constraint Programming — CP96. CP 1996. Lecture Notes in Computer Science, vol 1118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61551-2_100
Download citation
DOI: https://doi.org/10.1007/3-540-61551-2_100
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61551-4
Online ISBN: 978-3-540-70620-5
eBook Packages: Springer Book Archive