Theory and practice of constraint handling rules

Journal of Logic Programming

Volumn 37, Issue 1-3, 1998, Pages 95-138

  Frühwirth, Thom ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY;

CONSTRAINT HANDLING RULES (CHR); CONSTRAINT SOLVERS;

LOGIC PROGRAMMING;

EID: 0032186691     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)10005-5     Document Type: Article

References (92)

1. S. Abdennadher, Operational semantics and confluence of constraint propagation rules, in: Third International Conference on Principles and Practice of Constraint Programming (CP'97), Linz, Austria, Lecture Notes in Computer Science, vol. 1330, Springer, Berlin, 1997, pp. 252-265.
2. S. Abdennadher, Analyse von regelbasierten Constraintlösern (in German), Ph.D. Thesis, Dept. of Computer Science, LMU Munich, May 1998.
3. The Constraint Programming Working Group, ACM-MIT SDRC Workshop, Report Outline, Draft, September 1996.
4. A. Aiba et al., Constraint logic programming language CAL, in: International Conference on Fifth Generation Computer Systems, Ohmsha Publishers, Tokyo, 1988, pp. 263-276.
5. H. Ait-Kaci, R. Nasr, Login: A logic programming language with built-in inheritance, J. Logic Programming 3 (1986) 185-215.
6. R. Alles et al., Gutachten zur Erstellung des Mietspiegels für München'94 (in German), Sozialreferat der Stadt München - Amt für Wohnungswesen et al., City of Munich, Germany, 1994.
7. J.F. Allen, Maintaining knowledge about temporal intervals, Comm. ACM 26 (11) (1983) 823-843.
8. J.-M. Andreoli, R. Pareschi, Linear objects: Logical processes with built-in inheritance, in: Seventh International Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 495-510.
9. H. Ait-Kaci, A. Podelski, S.C. Goldstein, Order-sorted feature theory unification, DEC PRL Research Report 32, DEC Paris Research Laboratory, France, May 1993.
10. F. Baader, P. Hanschke, A scheme for integrating concrete domains into concept languages, in: Twelfth International Joint Conference on Artificial Intelligence, 1991.
11. J.-P. Banatre, A. Coutant, D. Le Metayer, A parallel machine for multiset transformation and its programming style, Future Generation Comput. Systems 4 (1988) 133-144.
12. M. Buchheit, F.M. Donini, A. Schaerf, Decidable reasoning in terminological knowledge representation systems, J. Artificial Intelligence Res. 1 (1993) 109-138.
13. F. Benhamou, W.J. Older, Bell Northern Research, Applying interval arithmetic to Integer and Boolean constraints, Technical Report, June 1992.
14. M. Bjareland, Proving Consistency in K-IA Chronicles - An Implementation of PMON, Master Thesis, Dept. of Information and Computer Science, Linkoepings Universitet, 1996.
15. F. Benhamou, Interval constraint logic programming, in: A. Podelski (Ed.), Constraint Programming: Basics and Trends, Lecture Notes in Computer Science, vol. 910, Springer, Berlin, 1995.
16. F. Benhamou, D. MacAllester, P. van Hentenryck, CLP(Intervals) Revisited, ILPS'94, MIT Press, Cambridge, MA, 1994.
17. P. Codognet, D. Diaz, Compiling constraints in clp(fd), J. Logic Programming 27 (3) (1996) 185-226.
18. J. Cohen, A view of the origins and development of Prolog, Comm. ACM 31 (1) (1988) 26-36.
19. A. Colmerauer, An introduction to Prolog III, Comm. ACM 33 (7) (1990) 69-90.
20. M. Davis, H. Putnam, A computing procedure for quantification theory, J. Assoc. Comput. Mach. 7 (3) (1960) 201-215.
21. S.K. Debray, QD-Janus: A sequential implementation of Janus in Prolog, Software - Practice and Experience 23 (12) (1993) 1337-1360.
22. M. Dincbas et al., The Constraint Logic Programming Language CHIP, Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
23. R. Dechter, I. Meiri, J. Pearl, Temporal constraint networks, J. Artificial Intelligence 49 (1991) 61-95.
24. G. Dondosolla, A constraint-based implementation of the GRF, ESPRIT Project no. 2409 EQUATOR Report, June 1993.
25. N. Dershowitz, N. Okada, G. Sivakumar, Confluence of conditional rewrite systems, 1st CTRS, Lecture Notes in Computer Science, vol. 308, Springer, Berlin, 1988, pp. 31-44.
26. M. Duerst, Prolog for structured character description and font design, in: Leon Sterling (Ed.), J. Logic Programming, Special issue on Applications, February 1996.
27. E. Dumbill, Application of resolution and backtracking to the solution of constraint satisfaction problems, Project Report, Dept. of Computer Science, University of York, England, 1995.
28. M.T. Escrig, F. Toledo, Qualitative spatial orientation with constraint handling rules, in: W. Wahlster (Ed.), ECAI 96, Budapest, Hungary, Wiley, New York, 1996.
29. T. Frühwirth, S. Abdennadher, P. Blenninger, Rent estimates with constraints over the internet -System description, Journees Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'96), Clermont Ferrand, France, June 1996.
30. T. Frühwirth, S. Abdennadher, H. Meuss, On confluence of constraint handling rules, in: Second International Conference on Principles and Practice of Constraint Programming (CP'96), Cambridge, USA, Lecture Notes in Computer Science, vol. 1118, Springer, Berlin, 1996.
31. T. Frühwirth, S. Abdennadher, H. Meuss, Confluence and Semantics of Constraint Handling Rules, Constraint J., to appear.
32. J.-C. Faugere, Résolution des systèmes d'équations algébriques, Ph.D. Thesis, Université Paris 6, 1994.
33. S.J. Fortune, D.M. Gay, B.W. Kernighan et al., WISE design of indoor wireless systems, IEEE Comput. Sci. Eng. 2 (1) (1995) 58-68.
34. T. Frühwirth, J.-R. Molwitz, P. Brisset, Planning cordless business communication systems, IEEE Expert Magazine, Special Track on Intelligent Telecommunications, February 1996.
35. T. Frühwirth, A. Herold, V. Küchenhoff, T. Le Provost, P. Lim, E. Monfroy, M. Wallace, Constraint logic programming - An informal introduction, in: Logic Programming in Action, Lecture Notes in Computer Science, vol. 636, Springer, Berlin, 1992.
36. T. Frühwirth, S. Abdennadher, The Munich rent advisor, in: First Workshop on Logic Programming Tools for Internet Applications at JICSLP'96, Bonn, Germany, September 1996.
37. T. Frühwirth, S. Abdennadher, Constraint-Programmierung (in German), Springer, Heidelberg, 1997.
38. T. Frühwirth, P. Brisset, High-level implementations of constraint handling rules, Technical Report ECRC-95-20, ECRC Munich, Germany, June 1995.
39. T. Frühwirth, P. Brisset, Chapter on constraint handling rules, in: ECLiPSe 3.5.1 Extensions User Manual, ECRC Munich, Germany, December 1995.
40. e 3.5.3, released by ECRC, Munich, Germany, January 1996.
41. T. Frühwirth, P. Brisset, Optimal planning of digital cordless telecommunication systems, in: Third International Conference on The Practical Application of Constraint Technology (PACT97), London, UK, April 1997.
42. T. Frühwirth, P. Hanschke, Terminological reasoning with constraint handling rules, in: P. van Hentenryck, V.J. Saraswat (Eds.), Principles and Practice of Constraint Programming, MIT Press, Cambridge, MA, 1995.
43. T. Frühwirth, Introducing simplification rules, in: Workshop Logisches Programmieren, Goosen/ Berlin, Germany, October 1991, Workshop on Rewriting and Constraints, Dagstuhl, Germany, October 1991; also Technical Report ECRC-LP-63, ECRC Munich, Germany, October 1991.
44. T. Frühwirth, Constraint simplification rules, in: JICSLP'92 Workshop on Constraint Logic Programming, Washington D.C., USA, November 1992; also Technical Report ECRC-92-18, ECRC Munich, Germany, July 1992
45. T. Frühwirth, Entailment simplification and constraint constructors for CHR constraints, in: Workshop on Constraint Logic Programming, Marseille, France, March 1993.
46. T. Frühwirth, CHR constraint handling, abstract and poster, in: International Conference on Logic Programming (ICLP'93), Budapest, Hungary, MIT Press, Cambridge, MA, 1993.
47. T. Frühwirth, Temporal reasoning with constraint handling rules, Technical Report ECRC-94-05, ECRC Munich, Germany, February 1994.
48. T. Frühwirth, Constraint handling rules, in: A. Podelski (Ed.), Constraint Programming: Basics and Trends, Lecture Notes in Computer Science, vol. 910, Springer, Berlin, 1995.
49. T. Frühwirth, A declarative language for constraint systems - Theory and practice of constraint handling rules, habilitation, Dept. of Computer Science, LMU Munich, December 1997.
50. K.O. Geddes, G.H. Gonnet, B.L. Leong, Maple V: Language Reference Manual, Springer, New York, Berlin, Paris, 1991.
51. T. Graf, Raisonnement sur les contraintes en programmation en logique (in French), Ph.D. Thesis, Version of June 1989, Université de Nice, France, September 1989.
52. B. Herbig, Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus (in German), Master Thesis, University of Kaiserslautern, Germany, April 1993.
53. C. Holzbaur, Metastructures vs. attributed variables in the context of extensible unification, in: International Symposium on Programming Language Implementation and Logic Programming (PLILP'92), Lecture Notes in Computer Science, vol. 631, 1992, pp. 260-268.
54. H. Hong, Non-linear real constraints in constraint logic programming, in: H. Kirchner, G. Levi (Eds.), Algebraic and Logic Programming Conference, Volterra, Italy, Lecture Notes in Computer Science, vol. 632, Springer, Berlin, 1992, pp. 201-212.
55. P. van Hentenryck, L. Michel, Y. Deville, Numerica: A Modeling Language for Global Optimization, MIT Press, Cambridge, MA, 1997.
56. P. van Hentenryck, V.A. Saraswat, Y. Deville, Constraint processing in cc(FD), in: A. Podelski (Ed.), Constraint Programming: Basics and Trends, Lecture Notes in Computer Science, vol. 910, Springer, Berlin, 1995.
57. J.-L.J. Imbert, Linear constraint solving in CLP-languages, in: A. Podelski (Ed.), Constraint Programming: Basics and Trends, Lecture Notes in Computer Science, vol. 910, Springer, Berlin, 1995.
58. J. Jaffar et al., The CLP(R) language and system, ACM Trans. Programming Languages Systems 14 (3) (1992) 339-395.
59. S. Janson, S. Haradi, Programming Paradigms of the Andorra Kernel Language, ILPS 91, San Diego, USA, 1991.
60. J. Jaffar, J.-L. Lassez, Constraint logic programming, in: ACM 14th POPL 87, Munich, Germany, January 1987, pp. 111-119.
61. J. Jaffar, M.J. Maher, Constraint logic programming: A survey, J. Logic Programming 19 (20) (1994) 503-581.
62. H.A. Kautz, P.B. Ladkin, Integrating Metric and Qualitative Temporal Reasoning, AAAI 91, 1991, pp. 241-246.
63. C. Kirchner, H. Kirchner, Rewriting: Theory and Applications, North-Holland, Amsterdam, 1991.
64. T. Kawamura, H. Ohwada, F. Mizoguchi, CS-Prolog: A generalized unification based constraint solver, in: K. Furukawa et al. (Eds.), Sixth Conference on Logic Programming, Tokyo, Japan, June 1987, Lecture Notes in Computer Science, vol. 319, Springer, Berlin, pp. 19-39.
65. R. Kowalski, M. Sergot, A logic-based calculus for events, New Generation Comput. 4 (1986) 67-95.
66. W. Leler, Constraint Programming Languages: Their Specification and Generation, Addison-Wesley, Reading, MA, 1988.
67. A.K. Mackworth, Consistency in networks of relations, J. Artificial Intelligence 8 (1977) 99-118.
68. A.K. Mackworth, E.C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, J. Artificial Intelligence 25 (1985) 65-74.
69. M.J. Maher, Logic semantics for a class of committed-choice programs, in: Fourth International Conference on Logic Programming, Melbourne, Australia, MIT Press, Cambridge, MA, 1987, pp. 858-876.
70. S. Menju et al., A study on Boolean constraint solvers, in: F. Benhamou, A. Colmerauer (Eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993.
71. I. Meiri, Combining Qualitative and Quantitative Constraints in Temporal Reasoning, AAAI 91, 1991, pp. 260-267.
72. J.-R. Molwitz, Entwicklung eines Werkzeugs zur Planung picozellularer Funknetze für die drahtlose Kommunikation (in German), Master Thesis, University of Technology, Aachen, Germany, June 1994.
73. E. Monfroy, M. Rusinowitch, R. Schott, Implementing non-linear constraints with cooperative solvers, in: K.M. George et al. (Eds.), ACM Symposium on Applied Computing (SAC'96), Philadelphia, PA, USA, ACM (Assoc. Comput. Machinery), New York, 1996, pp. 63-72.
74. L. Naish, Prolog control rules, in: Ninth International Joint Conference on Artificial Intelligence, Los Angeles, California, September 1985, pp. 720-722.
75. M.H.A. Newman, On theories with a combinatorial definition of equivalence, Ann. Math. 43 (1942) 223-243.
76. F. Sadri, R. Kowalski, Variants of the event calculus, in: Twelfth International Conference on Logic Programming, Tokyo, Japan, MIT Press, Cambridge, MA, 1995, pp. 67-82.
77. E. Sandewall, Features and Fluents, The Representation of Knowledge about Dynamical Systems, vol. I, Oxford University Press, Oxford, 1994.
78. V.A. Saraswat, Concurrent Constraint Programming Languages, Ph.D. Thesis, Carnegie Mellon Univ., Draft of January 1989.
79. V.A. Saraswat, Concurrent Constraint Programming, MIT Press, Cambridge, MA, 1993.
80. M. Schmidt-Schauß, G. Smolka, Attributive concept descriptions with complements, J. Artificial Intelligence 47 (1991) 1-26.
81. E. Shapiro, The family of concurrent logic programming languages, ACM Comput. Surveys 21 (3) (1989) 413-510.
82. G.A. Sidebottom, A Language for Optimizing Constraint Propagation, Thesis, Simon Fraser University, Canada, 1993.
83. G. Smolka, Residuation and guarded rules for constraint logic programming, in: F. Benhamou, A. Colmerauer (Eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993.
84. G. Smolka, R. Treinen (Eds.), DFKI Oz Documentation Series, DFKI, Saarbrücken, Germany, 1994.
85. G. Smolka, R. Treinen, Records for logic programming, J. Logic Programming 18 (1994) 229-258.
86. P. Baumgartner, F. Stolzenburg, Constraint model elimination and a PTTP-implementation, in: P. Baumgartner, R. Haehnle, J. Posegga (Eds.), Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence, vol. 918, 1995, pp. 201-216.
87. P. van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, MA, 1989.
88. P. van Hentenryck, Constraint logic programming, Knowledge Eng. Rev. 6 (3) (1991) 151-194.
89. M. Vilain, H. Kautz, Constraint Propagation Algorithms for Temporal Reasoning, AAAI 86, 1986, pp. 377-382.
90. M.R. Wilk, Equate: An object-oriented constraint solver, ACM OOPSLA 91, 1991, pp. 286-298.
91. A. Wolf, Incremental adaption of constraint handling rule derivations, in: CP'97 Workshop on the Theory and Practice of Dynamic Constraint Satisfaction, Linz, Austria, November 1997.
92. K. Marriott, P.J. Stuckey, Programming with Constraints, MIT Press, Cambridge, MA, 1998.