Constraint solving in finite domains under user control

  • Francisco Menezes
  • Pedro Barahona
Part of the Lecture Notes in Computer Science book series (LNCS, volume 541)


Constraint logic programming languages extend logic programming by providing constraint solving capabilities on particular domains, which are more powerful than normal unification. However, these capabilities are usually general-purpose and embedded in the language. In this paper we make a case for extending the user interaction with the constraint solver, namely to achieve better performances. More specifically we present for finite domains, an inference rule (SLAIR) which subsumes previously defined ones and improves their interactivity. Additionally, experimental results show that this rule leads to significant speedup in execution time.


Inference Rule Domain Variable Operational Semantic Finite Domain Constraint Solver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Colm90]
    A. Colmerauer, Prolog III Universe, Communications of the ACM, Vol.33, Number 6, June 1990.Google Scholar
  2. [DVHS88]
    M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier, The Constraint Logic Programming Language CHIP, Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'88), Tokyo, December 1988.Google Scholar
  3. [Hent89]
    P. van Hentenryck, Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, MA (1989).Google Scholar
  4. [JaLa87]
    J. Jaffar and J.-L. Lassez, Constraint Logic Programing, Proceedings of the 14th ACM POPL Symposium, Munich, January 1987.Google Scholar
  5. [JaMi87]
    J. Jaffar and S. Michaylov, Methodology and Implementation of a CLP System, Proceedings of the 4th ICLP, Melbourne, May 1987.Google Scholar
  6. [Shap89]
    Ehud Shapiro, The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, Vol.21, Number 3, September 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Francisco Menezes
    • 1
  • Pedro Barahona
    • 1
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaMonte da CaparicaPortugal

Personalised recommendations