Compiling constraint handling rules into prolog with attributed variables

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1702, Issue , 1999, Pages 117-133

  Holzbaur, Christian ^a   Frühwirth, Thom ^b  

^a UNIVERSITY OF VIENNA   (Austria)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

Implementation and compilation methods; Logic and constraint programming

Indexed keywords

COMPUTER CIRCUITS; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROGRAM COMPILERS;

ATTRIBUTED VARIABLES; COMPACT CODE; COMPILATION METHODS; CONSTRAINT HANDLING RULES; CONSTRAINT PROGRAMMING; DEFINITE CLAUSE GRAMMARS; RUNTIME SYSTEMS; UPDATE MECHANISMS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84979072505     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10704567_7     Document Type: Conference Paper

References (33)

1. Banatre J.-P., Coutant A., Le Metayer D., A Parallel Machine for Multiset Transformation and its Programming Style, Future Generation Computer Systems 4: 133-144, 1988.
2. Benhamou F., Older W. J., Bell Northern Research, June 1992, Applying interval arithmetic to Integer and Boolean constraints, Technical Report.
3. Brisset P. et al., ECLiPSe 4. 0 User Manual, IC-Parc at Imperial College, London, July 1998.
4. Carlsson M., Widen J., Sicstus Prolog Users Manual, Release 3#0, Swedish Institute of Computer Science, SICS/R-88/88007C, 1995.
5. Diaz D., Codognet P., A Minimal Extension of the WAM for clp(FD), in Warren D. S. (Ed.), Proceedings of the Tenth International Conference on Logic Programming, The MIT Press, Budapest, Hungary, pp. 774-790, 1993.
6. Dincbas M. et al., The Constraint Logic Programming Language CHIP, Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
7. Debray S., Kannan S., Paithane M., Weighted Decision Trees, in Apt K. R. (Ed.), Logic Programming-Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, pp. 654-668, 1992.
8. Debray S. K., QD-Janus: A Sequential Implementation of Janus in Prolog, Software-Practice and Experience, Volume 23, Number 12, December 1993, pp. 1337-1360.
9. Frühwirth T., Brisset P., High-Level Implementations of Constraint Handling Rules, Technical Report ECRC-95-20, ECRC Munich, Germany, June 1995.
10. Frühwirth T., and Brisset P., Chapter on Constraint Handling Rules, in ECLiPSe 3.5. 1 Extensions User Manual, ECRC Munich, Germany, December 1995.
11. Frühwirth T., Abdennadher S., Meuss H., Confluence and Semantics of Constraint Simplification Rules, Constraint Journal, Kluwer Academic Publishers, to appear.
12. Frühwirth T., Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998.
13. Hentenryck P. van, Simonis H., Dincbas M., Constraint Satisfaction Using Constraint Logic Programming, Artificial Intelligence, 58(1-3): 113-159, December 1992.
14. Herbig B., Eine homogene Implementierungsebene für einen hybriden Wissensrepr äsentationsformalismus, Master Thesis, in German, University of Kaiserslautern, Germany, April 1993.
15. Holzbaur C., Specification of Constraint Based Inference Mechanisms through Extended Unification, Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Dissertation, 1990.
16. Holzbaur C., Metastructures vs. Attributed Variables in the Context of Extensible Unification, In 1992 International Symposium on Programming Language Implementation and Logic Programming, pages 260-268. LNCS631, Springer Verlag, August 1992.
17. Holzbaur C., Extensible Unification as Basis for the Implementation of CLP Languages, in Baader F., et al., Proceedings of the Sixth International Workshop on Unification, Boston University, MA, TR-93-004, pp. 56-60, 1993.
18. Holzbaur C., Frühwirth T., Constraint Handling Rules Reference Manual, for SICStus Prolog, Österreichisches Forschungsinstitut für Artificial Intelligence, Vienna, Austria, TR-98-01, March 1998.
19. Holzbaur C., Frühwirth T., Compiling Constraint Handling Rules (CHR), Third ERCIM/Compulog Network Workshop on Constraints, CWI Amsterdam, The Netherlands, September 1998.
20. Holzbaur C., Frühwirth T., Join Evaluation Schemata for Constraint Handling Rules, 13th Workshop Logische Programmierung WLP'98, TU Vienna, Austria, September 1998.
21. Huitouze S. le, A new data structure for implementing extensions to Prolog, in Deransart P. and Maluszunski J. (Eds.), Programming Language Implementation and Logic Programming, Springer, Heidelberg, 136-150, 1990.
22. Jaffar J., Maher M. J., Constraint Logic Programming: A Survey, Journal of Logic Programming, 1994: 19, 20: 503-581.
23. Maher M. J., Logic Semantics for a Class of Committed-Choice Programs, Fourth Intl Conf on Logic Programming, Melbourne, Australia, MIT Press, pp 858-876.
24. Marriott K., Stuckey J. P, Programming with Constraints, MIT Press, USA, March 1998.
25. Naish L., Prolog control rules, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, California, September 1985, pp. 720-722.
26. Neumerkel U., Extensible unification by metastructures, In Proc. of Metaprogramming in Logic (META'90), Leuven, Belgium, 1990.
27. Sahlin D., An Automatic Partial Evaluator for Full Prolog, Swedish Institute of Computer Science, 1991.
28. Saraswat V. A., Concurrent Constraint Programming, MIT Press, Cambridge, 1993.
29. Shapiro E., The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, 21(3): 413-510, September 1989.
30. Shen K., The Extended CHR Implementation, chapter in ECLiPSe 4. 0 Library Manual, IC-Parc at Imperial College, London, July 1998.
31. Sidebottom G. A., A Language for Optimizing Constraint Propagation, 1993, Simon Fraser University, Canada.
32. Smolka G, Treinen R. (Ed.), DFKI Oz Documentation Series, DFKI, Saarbrücken, Germany, 1994.
33. Ueda K., Chikayama T., Concurrent Prolog Compiler on Top of Prolog, in Symposium on Logic Programming, The Computer Society Press, pp. 119-127, 1985.