Functional constraint hierarchies in CLP

  • Mouhssine Bouzoubaa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1118)


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.


Constraints Constraint hierarchy CLP HCLP 


  1. [1]
    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
  2. [2]
    Freeman-Benson, B.N. Multiple solutions from constraint hierarchies. Tech. Rep., 88-04-02, University of Washington., Apr. 1988.Google Scholar
  3. [3]
    Bouzoubaa, M., The Houria Constraint Solver, in Proceedings of the Fifth Scandinavian Conference On A.I., IOS press, Tron., Norway, May, 1995.Google Scholar
  4. [4]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Mouhssine Bouzoubaa
    • 1
  1. 1.INRIA-CERMICSSophia-Antipolis CedexFrance

Personalised recommendations