Abstract
In the past few years, an extensive amount of empirical evidence has proved the practical value of finite-domain constraint logic programming (CLP). Using special CLP-systems, many constraint satisfaction applications have been programmed very quickly and the resulting programs have a good performance. In this paper, we show how to implement a finite-domain CLP on top of a PROLOG-system equipped with a delay mechanism. The advantages are that the language features are easy to implement, the overhead caused both to the underlying PROLOG-system and to the CLP-environment itself are small and that the system is relatively portable.
supported by the Belgian I.W.O.N.L.-I.R.S.I.A. under contract number 5203.
supported by the Belgian National Fund for Scientific Research.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
A.Borning, M.Maher, A.Martindale, M.Wilson, Constraint Hierarchies and Logic Programming, in Proc. of the Sixth International Conference on Logic Programming, eds. G.Levi and M.Martelli, 1989, pp.:149–164.
M.Bruynooghe, D.De Schreye, B.Krekels, Compiling Control, J.Logic Programming, 1989 (6), pp.: 135–162.
A.Colmerauer, PROLOG II: Manuel de reference et modele theorique, Technical Report, GIA — Faculte de Science de Luminy, 1982.
A. Colmerauer, Opening the Prolog III Universe, BYTE Magazine, 12(9), 1987, pp.: 177–182.
R.Dechter, ed., Proc. Workshop on Constraint Problem Solving, IJCAI89, Detroit, 1989.
D.De Schreye, M.Bruynooghe, The Compilation of Forward Checking Regimes through Meta-interpretation and Transformation, Proc. Workshop on Meta-programming in Logic Programming, MIT-Press, 1989.
M.Dincbas, H.Simonis, P.Van Hentenryck, Solving a Cutting-Stock Problem in Constraint Logic Programming, in Proc. of the 5th International Conference on Logic Programming, 1988, pp.: 42–58.
M.Dincbas, P.Van Hentenryck, H.Simonis, A.Aggoun, T.Graf, F.Bertheir, The Constraint Logic Programming Language CHIP, in Proc of FGCS88, 1988, pp.: 693–702.
T.Graf, P.Van Hentenryck, C.Pradelles, L.Zimmer, Simulation of Hybrid Circuits in Constraint Logic Programming, in Proc. of IJCAI89, 1989, pp.:72–77.
J.Jaffar, J-L.Lassez, Constraint Logic Programming, in Proc. 14th ACM Principles of Programming Languages Conference, Munich, 1987.
J.Jaffar, S.Michaylov, Methodology and implementation of a CLP System, in Proc. of the 4th International Conference on Logic Programming, 1987, pp.: 196–218.
L.Naish, Negation and Control in Prolog, LNCS 238, Springer-Verlag, 1986.
J.Thom, J.Zobel, NU-Prolog Reference Manual, Version 1.3, Technical Report 86/10, Machine Intelligence Project, Computer Science Department, University of Melbourne, 1988.
P. Van Hentenryck, Constraint Satisfaction in Logic Programming, Logic Programming Series, MIT-Press, Cambridge, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Schreye, D., Pollet, D., Ronsyn, J., Bruynooghe, M. (1990). Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism. In: Jones, N. (eds) ESOP '90. ESOP 1990. Lecture Notes in Computer Science, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52592-0_58
Download citation
DOI: https://doi.org/10.1007/3-540-52592-0_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52592-9
Online ISBN: 978-3-540-47045-8
eBook Packages: Springer Book Archive