Adding constraint solving to mercury

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

Volumn 3819 LNCS, Issue , 2005, Pages 118-133

  Becket, Ralph ^a   De La Banda, Maria Garcia ^b   Marriott, Kim ^b   Somogyi, Zoltan ^a,c   Stuckey, Peter J ^a,c   Wallace, Mark ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b MONASH UNIVERSITY   (Australia)

^c CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; LOGIC PROGRAMMING; OPTIMIZATION; PROBLEM SOLVING;

COMPILE-TIME ANALYSIS; CONSTRAINT LOGIC PROGRAMMING (CLP); MERCURY; SUPPORT PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745441556     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603023_9     Document Type: Conference Paper

References (13)

1. B-Prolog. www.sci.brooklyn.cuny.edu/~zhou/bprolog.html.
2. ILOG CPLEX. www.cplex.com.
3. B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. An overview of HAL. In Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, pages 174-188, 1999.
4. G.J. Duck, M. García de la Banda, and P.J. Stuckey. Compiling ask constraints. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming, LNCS, pages 105-119. Springer-Verlag, 2004.
5. ECLiPSe. http://www.icparc.ic.ac.uk/eclipse/.
6. F. Henderson, T. Conway, Z. Somogyi, D. Jeffery, P. Schachte, S. Taylor, and C. Speirs. The Mercury language reference manual. Available from http://www.cs.mu.oz.au/mercury/, 2000.
7. M. Hermenegildo, F. Bueno, D. Cabeza, M. Garcia de la Banda, P. López, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, Commack, NY, USA, April 1999.
8. C. Holzbaur. Metastructures vs. attributed variables in the context of extensible unification. In Proceedings of PLILP '92, number 631 in LNCS, pages 260-268. Springer-Verlag, 1992.
9. J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proceedings of POPL '87, pages 111-119, 1987.
10. Mozart. http://www.mozart-oz.org.
11. SICStus Prolog. http://www.sics.se/sicstus/.
12. 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.
13. D.H.D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983.