Solving combinatorial problems with a constraint functional logic language

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

Volumn 2562, Issue , 2003, Pages 320-338

  Fernández, Antonio J ^a   Hortalá González, Teresa ^b   Sáenz Pérez, Fernando ^b  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Constraints; Finite Domains; Functional Logic Programming

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; FINITE DIFFERENCE METHOD; FUNCTIONAL PROGRAMMING;

COMBINATORIAL PROBLEM; CONSTRAINTS; DOMAIN VARIABLES; FINITE DOMAIN CONSTRAINTS; FINITE DOMAINS; FUNCTIONAL LOGIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING; LOGICAL VARIABLES;

LOGIC PROGRAMMING;

EID: 35248853357     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36388-2_22     Document Type: Article

References (14)

1. S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into prolog. In H. Kirchner and C. Ringeissen, editors, 3rd International Workshop on Frontiers of Combining Systems, number 1794 in LNCS, pages 171-185. Springer-Verlag, 2000.
2. M. Carlsson, G. Ottosson, and B. Carlson. An pen-ended finite domain constraint solver. In U. Montanari and F. Rossi, editors, 9th International Symposium on Programming Languages: Implementations, Logics und Programs (PLILP'97), number 1292 in LNCS, pages 191-206, Southampton, UK, 1997. Springer-Verlag.
3. M. Hanus (editor). Pakcs 1.4.0, user manual. The Portland Aachen Kiel Curry System. Available from http://www.informatik.uni-kiel.de/∼pakcs/, 2002.
4. A.J. Fernández, T. Hortalá-González, and F. Sáenz-Pérez. TOY(FD): User manual, latest Version. Available at http://www.lcc.uma.es/∼afdez/cflpfd/, 2002.
5. R. Fourer, D.M. Gay, and B.W. Kernighan. Ampl: A modeling language for mathematical programming. Scientific Press, 1993.
6. J.C. González-Moreno, M.T. Hortalá-González, and M. Rodríguez-Artalejo. Polymorphic types in functional logic programming. In Aart Middeldorp and Taisuke Sato, editors, 4th International Symposium on Functional und Logic Programming (FLOPS'99), number 1722 in LNCS, pages 1-20, Tsukuba, Japan, November 1999. Springer-Verlag.
7. There is special issue of the Journal of Functional and Logic Programming, 2001. See http://danae.uni-muenster.de/lehre/kuchen/JFLP.
8. M. Hanus. The integration of functions into logic programming: A survey. The Journal of Logic Programming, 19-20:583-628, 1994. Special issue: Ten Years of Logic Programming.
9. J. Jaffar and M. Maher. Constraint logic programming: a survey. The Journal of Logic Programming, 19-20:503-581, 1994.
10. F.J. López-Fraguas and J. Sánchez-Hernández. TOY: A multiparadigm declarative system. In P. Narendran and M. Rusinowitch, editors, 10th International Conference on Rewriting Techniques und Applications, number 1631 in LNCS, pages 244-247, Trento, Italy, 1999. Springer-Verlag. The system and further documentation including programming examples is available at http://babel.dacya.ucm.es/toy and http://titan.sip.ucm.es/toy.
11. G. Smolka. The Oz programming model. In Jan Van Leeuwen, editor, Computer Science Today, number 1000 in LNCS, pages 324-343, Berlin, 1995. Springer-Verlag.
12. P. Van Hentenryck. Constraint satisfaction in logic programming. The MIT Press, Cambridge, MA, 1989.
13. P. Van Hentenryck. The OPL optimization programming language. The MIT Press, Cambridge, MA, 1999.
14. N-F. Zhou. Channel Routing with Constraint Logic Programming and Delay. In 9th International Conference on Industrial Applications of Artificial Intelligence, pages 217-231. Gordon and Breach Science Publishers, 1996.