Declarative constraint programming with definitional trees

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

Volumn 3717 LNAI, Issue , 2005, Pages 184-199

  Del Vado Vírseda, Rafael ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; LOGIC PROGRAMMING; PROBLEM SOLVING; SEMANTICS; TREES (MATHEMATICS);

CONSTRAINED DEMANDED NARROWING CALCULUS; CONSTRAINED LAZY NARROWING CALCULUS; CONSTRAINT DOMAINS; LAZY CONSTRAINT FUNCTIONAL LOGIC PROGRAMMING;

CONSTRAINT THEORY;

EID: 33646195235     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11559306_10     Document Type: Conference Paper

References (17)

1. S. Antoy. Definitional trees. In Proc. Int. Conf. on Algebraic and Logic Programming (ALP'92), volume 632 of Springer LNCS, pp. 143-157, 1992.
2. S. Antoy. Optimal non-deterministic functional logic computations. In Proc. of ALP'97, pages 16-30. Springer LNCS 1298, 1997.
3. S. Antoy. Constructor-based conditional narrowing. In Proc. PPDP'01, ACM Press, pp. 199-206, 2001.
4. S. Antoy, R. Echahed, M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4): 776-822, 2000.
5. R. Caballero, M. Rodríguez-Artalejo. DDT: A Declarative Debugging Tool for Functional Logic Languages. In Proc. of the 7th International Symposium on FLOPS'04, volume 2998 of Springer LNCS, pp. 70-84, 2004.
6. A. J. Fernández, M. T. Hortalá-González and F. Sáenz Pérez. TOY(FD). User's Manual, October 27, 2003. System available at http://ww.lcc.uma.es/~aidez/cflpfd/.
7. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 19&20, pp. 583-628, 1994.
8. M. Hanus (ed.), Curry: an Integrated Functional Logic Language, Version 0.8, April 15, 2003. http://www-i2.informatik.uni-kiel.de/~curry/.
9. M. Hanus, C. Prehofer. Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming, 9(1):33-75, 1999.
10. J. Jaffar, M.J. Maher, K. Marriott and P.J. Stuckey. The Semantics of Constraint Logic Programs. Journal of Logic Programming, 37 (1-3) pp. 1-46, 1998.
11. R. Loogen, F.J. López-Fraguas, M. Rodríguez-Artalejo. A demand driven computation strategy for lazy narrowing. In Proc. Int. Symp. on PLILP'93, volume 714 of Springer LNCS pp. 184-200, 1993.
12. F.J. López-Fraguas. A General Scheme for Constraint Functional Logic Programming. In Proc. Int. Conf. on ALP'92, Springer LNCS 632, pp. 213-227, 1992.
13. F.J. López-Fraguas, J. Sánchez-Hernández. TOY: A Multiparadigm Declarative System. Proc. RTA'99, Springer LNCS 1631, pp 244-247, 1999. System available at http://toy.sourceforge.net.
14. F.J. López-Fraguas, M. Rodríguez-Artalejo and R. del Vado-Vírseda. Constraint Functional Logic Programming Revisited. In International Workshop on Rewriting Logic and its Applications WRLA'04, Elsevier ENTCS series, vol. 117, pp. 5-50, 2005.
15. F.J. López-Fraguas, M. Rodríguez-Artalejo and R. del Vado-Vírseda. A lazy narrowing calculus for declarative constraint programming. In Prof of the 6th International Conference on PPDP'04, ACM Press, pp. 43-54, 2004.
16. M. Marin, T. Ida and T. Suzuki. Cooperative Constraint Functional Logic Programming. In Int. Symposium on IPSE'2000, pp. 223-230, November 1-2, 2000.
17. R. del Vado Vírseda. A Demand-driven Narrowing Calculus with Overlapping Definitional Trees. 5th Int. Conference on PPDP'03, ACM Press, pp. 213-227, 2003.