To the gates of HAL: A HAL tutorial

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

Volumn 2441, Issue , 2002, Pages 47-66

  de la Banda, María García ^a   Demoen, Bart ^b   Marriott, Kim ^a   Stuckey, Peter J ^c  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF LEUVEN   (Belgium)

^c UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FUNCTIONAL PROGRAMMING; PROBLEM ORIENTED LANGUAGES; PROBLEM SOLVING; RECONFIGURABLE HARDWARE;

CONSTRAINT HANDLING RULES; CONSTRAINT LOGIC PROGRAMMING LANGUAGES; CONSTRAINT PROBLEMS; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; CONSTRAINT SPECIFICATIONS; DYNAMIC SCHEDULING; REAL-LIFE PROBLEMS;

LOGIC PROGRAMMING;

EID: 84957025047     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45788-7     Document Type: Conference Paper

References (21)

1. [1] F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P. J. Stuckey. A model for inter-module analysis and optimizing compilation. In Procs of LOPSTR2000, volume 2042 of LNCS, pages 86–102, 2001.
2. [2] M. García de la Banda, D. Jeffery, K. Marriott, P. J. Stuckey, N. Nethercote, and C. Holzbaur. Building constraint solvers with HAL. In P. Codognet, editor, Logic Programming: Proceedings of the 17th International Conference, LNCS, pages 90–104. Springer-Verlag, 2001.
3. [3] B. Demoen, M. García de la Banda, W. Harvey, K. Marriott, and P. J. Stuckey. Herbrand constraint solving in HAL. In D. De Schreye, editor, Logic Programming: Proceedings of the 16th International Conference, pages 260–274. MIT Press, 1999.
4. [4] B. Demoen, M. García de la Banda, W. Harvey, K. Marriott, and P. J. Stuckey. An overview of HAL. In J. Jaffar, editor, Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, LNCS, pages 174–188. Springer-Verlag, October 1999.
5. [5] B. Demoen, M. García de la Banda, and P. J. Stuckey. Type constraint solving for parametric and ad-hoc polymorphism. In Procs. of the 22nd Australian Comp. Sci. Conf., pages 217–228, 1999.
6. [6] D. Diaz and P. Codognet. A minimal extension of the WAM for clp(fd). In Procs. of ICLP93, pages 774–790, 1993.
7. [7] A. J. Fernández and B.C. Ruiz Jiménez. Una semántica operacional para CProlog. In Proceedings of II Jornadas de Informática, pages 21–30, 1996.
8. [8] T. Früwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37:95–138, 1998.
9. [9] M. García de la Banda, P. J. Stuckey, W. Harvey, and K. Marriott. Mode checking in HAL. In J. LLoyd et al., editor, Proceedings of the First International Conference on Computational Logic, LNCS 1861, pages 1270–1284. Springer-Verlag, July 2000.
10. [10] W. Harvey and P. J. Stuckey. Constraint representation for propagation. In Procs. of PPCP98, pages 235–249, 1998.
11. [11] M. Hermenegildo, F. Bueno, D. Cabeza, M. García de la Banda, P. López, and G. Puebla. The CIAO multi-dialect compiler and system. In Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, 1999.
12. [12] C. Holzbaur. Metastructures vs. attributed variables in the context of extensible unification. In Procs. of the PLILP92, pages 260–268, 1992.
13. [13] C. Holzbaur, P. J. Stuckey, M. García de la Banda, and D. Jeffery. Optimizing compilation of constraint handling rules. In P. Codognet, editor, Logic Programming: Proceedings of the 17th International Conference, LNCS, pages 74–89. Springer-Verlag, 2001.
14. ILOG. CPLEX product page. http://www.ilog.com/products/cplex/.
15. [15] J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 4(3):339–395, 1992.
16. [16] D. Jeffery, F. Henderson, and Z. Somogyi. Type classes in Mercury. Technical Report 98/13, University of Melbourne, Australia, 1998.
17. [17] S. Kaes. Parametric overloading in polymorphic programming languages. In ESOP’88 Programming Languages and Systems, volume 300 of LNCS, pages 131–141, 1988.
18. [18] K. Marriott and P. J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.
19. [19] N. Nethercote. The analysis framework for HAL. Master’s thesis, Dept. of Comp. Sci and Soft. Eng, University of Melbourne, 2002.
20. [20] Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, 29:17–64, 1996.
21. [21] P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad-hoc. In Proc. 16th ACM POPL, pages 60–76, 1989.