Abstract
The methodology of constraint logic programming (CLP), combining the declarative aspect of standard logic programming languages with efficient constraint solving techniques is presented. An experimental scheduling system, based on modified Allen's temporal relationships and implemented in the ECLiPSe programming environment is described. Formulations of scheduling problems and results are presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Aiba, A., K. Sakai, Y. Sato, D.J. Hawley and R. Hasegawa: Constraint Logic Programming CAL. In.: Proc. of the International Conference on Fifth Generation Computer Systems, pp. 263–276. ICOT, Tokyo.
Andrews, J.: Trilogy (users manual). Complete Logic Systems Inc., North Vancouver.
Bartusch, M.: Optimierung von Netzplanen mit Anordnungsbeziehungen bei knappen Betriebsmitteln. Ph.D. Thesis. Technische Hochschule Aachen 1983.
Bridge — a CHIP Demonstration Program. München, ECRC 1989. 5 p.
Brisset, P., Y. Frühwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf and M. Wallace: ECL i PS e 3.4 (Extensions User Manual). ECRC, München.
Colmeraurer, A.: An Introduction to Prolog III. Com. ACM, 33, 69–90.
Dincbas, M., P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier: The Constraint Logic Programming Language CHIP. In.: Proc. of the International Conference on Fifth Generation Computer Systems, pp.693–702. ICOT, Tokyo.
Dincbas, M., H. Simonis and P. Van Hentenryck: Solving a Cutting-Stock Problem in Constraint Logic Programming. In: Proc. of the 5th international conference on Logic Programming, pp. 42–58. MIT Press, Cambridge.
Jaffar, J. and S. Michaylov: Methodology and Implementation of a CLP system. In.: Proc. of the 4th Logic Programming Conference, pp. 196–218. MIT Press, Cambridge.
Kriwaczek, F.: An Introduction to Constraint Logic Programming. In.: Advanced Topics in Artificial Intelligence, pp. 82–94. Springer-Verlag, Berlin.
Leng, Y.W. and L.F. Pau: Temporal reasoning in Blood Gas Diagnosis. Expert Systems, 8, 159–170.
Meng, A.Ch. and M. Sullivan: LOGOS, a Constraint-Directed Reasoning Shell for Operations Management. IEEE Expert, 6, pp. 20–28.
Sabol, T.: The Use of Multiple-Valued Logic in Expert System Knowledge Basis (in Slovak). In: Proc. of ASRTP'92 Conference, pp. 124–131. Technical University, Kosice.
Tay, D.: COPS — A Constraint Programming Approach to Resource-Limited Project Scheduling. The Computer Journal, 35, A237–A249.
Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge.
Van Hentenryck, P.: Constraint Logic Programming. The Knowledge Engineering Review, 6, 151–194.
Walinsky, C.: CLP(∑*) — Constraint Logic Programming with Regular Sets. In.: Proc. of the 6th International Conference on Logic Programming. pp. 181–198. MIT Press, Cambridge.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Csonto, J. (1995). Implementation of systems with declarative constraints. In: Adelsberger, H.H., Lažanský, J., MaÅ™Ãk, V. (eds) Information Management in Computer Integrated Manufacturing. Lecture Notes in Computer Science, vol 973. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60286-0_121
Download citation
DOI: https://doi.org/10.1007/3-540-60286-0_121
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60286-6
Online ISBN: 978-3-540-44785-6
eBook Packages: Springer Book Archive