A lazy narrowing calculus for declarative constraint programming

Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

Volumn , Issue , 2004, Pages 43-54

  Lopez Fraguas F J ^a   Rodriguez Artalejo M ^a   Del Vado Vírseda, Rafael ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Constraint logic programming; Constraint solvers; Functional logic programming languages; Narrowing; Rewrite systems

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROBLEM SOLVING; SEMANTICS;

CALCULUS; CONSTRAINT REWRITING LOGIC; FUNCTIONAL LOGIC PROGRAMMING; OPERATIONAL SEMANTICS;

COMPUTER PROGRAMMING;

EID: 11244281031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013963.1013972     Document Type: Conference Paper

References (32)

1. K.R. Apt. Logic Programming. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, Chapter 10, Elsevier and The MIT Press, pp. 493-574, 1990.
2. P. Arenas-Sánchez, A. Gil-Luezas and F.J. López-Fraguas. Combining Lazy Narrowing with Disequality Constraints. Proc. Int. Symp. on Programming Language Implementation and Logic Programming (PLILP'94), Springer LNCS 844, pp. 385-399, 1994.
3. P. Arenas-Sánchez, F.J. López-Fraguas and M. Rodríguez-Artalejo. Functional plus Logic Programming with Built-in and Symbolic Constraints. Proc. Int. Conf. on Principles and Practice of Declarative Programming (PPDP'99), Paris, Springer LNCS 1702, pp. 152-169, 1999.
4. P. Arenas-Sánchez and M. Rodríguez-Artalejo. A general framework for lazy functional logic programming with algebraic polymorphic types. Theory and Practice of Logic Programming 1(2), pp. 185-245, 2001.
5. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
6. R. Caballero and M. Rodríguez-Artalejo. A Declarative Debugging System for Lazy Functional Logic Programs. Electronic Notes in Theoretical Computer Science 64, 63 pages, 2002.
7. R. Caballero and M. Rodríguez-Artalejo. DDT: A Declarative Debugging Tool for Functional Logic Languages. To appear in Proc. of the 7th International Symposium on Functional and Logic Programming (FLOPS'2004), Springer LNCS.
8. J. Darlington, Y.K. Guo and H. Pull. A New Perspective on the Integration of Functional and Logic Languages. Proc. of the Int. Conf. on Fifth Generation Computer Systems (FGCS'92), IOS Press, pp. 682-693, 1992.
9. D. DeGroot and G. Lindstrom (eds.). Logic Programming: Functions, Relations and Equations. Prentice-Hall, Englewood Cliffs, 1986.
10. A.J. Fernández, M.T. Hortalá-González and F. Sáenz Pérez. Solving Combinatorial Problems with a Constraint Functional Logic Language. Proc. 5th International Symposium on Principles and Practice of Declarative Languages (PADL'2003), Springer LNCS 2562, pp. 320-338, 2003.
11. J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas and M. Rodríguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic. Journal of Logic Programming 40(1), pp. 47-87, 1999.
12. J.C. González-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo. Polymorphic Types in Functional Logic Programming. FLOPS'99 special issue of the Journal of Functional and Logic Programming, 2001. http://danae.uni-muenster.de/lehre/kuchen/JFLP.
13. C.A. Gunter and D. Scott. Semantic Domains, in J.van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier and The MIT Press, Vol. B, Chapter 6, pp. 633-674, 1990.
14. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 19&20, pp. 583-628, 1994.
15. M. Hanus (ed.), Curry: an Integrated Functional Logic Language, Version 0.8, April 15, 2003. http://www-i2.informatik.uni-kiel.de/~curry/.
16. J. Jaffar and J.L. Lassez. Constraint Logic Programming. In Proc. ACM Symp. on Principles of Programming Languages (POPL'87), ACM Press, pp. 111-119, 1987.
17. J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. The Journal of Logic Programming 19&20, pp. 503-581, 1994.
18. 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.
19. J. Jaffar, S. Michaylov, P.J. Stuckey and R.H.C. Yap. The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems, 14 (3) pp. 339-395, 1992.
20. J.W. Lloyd. Foundations of Logic Programming. 2nd. ed., Springer Verlag, 1987.
21. F.J. López-Fraguas. A General Scheme for Constraint Functional Logic Programming. Proc. Int. Conf. on Algebraic and Logic Programming (ALP'92), Springer LNCS 632, pp. 213-227, 1992.
22. 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.
23. F.J. López-Fraguas and J. Sánchez-Hernández. A Proof Theoretic Approach to Failure in Functional Logic Programming. Theory and Practice of Logic Programming 4(1), pp. 41-74, 2004.
24. F.J. López-Fraguas, M. Rodríguez-Artalejo and R. del Vado-Vírseda. Constraint Functional Logic Programming Revisited. To appear in Proc. of the 5th International Workshop on Rewriting Logic and its Applications (WRLA'2004), Electronic Notes in Theoretical Computer Science, 2004.
25. M. Marin. Functional Logic Programming with Distributed Constraint Solving. Ph. D. Thesis, Johannes Kepler Universität Linz, 2000.
26. M. Marin, T. Ida and W. Schreiner. CFLP: a Mathematica Implementation of a Distributed Constraint Solving System. In Third International Mathematical Symposium (IMS'99), Hagenberg, Austria, August 23-25, 10 pages, 1999.
27. M. Marin, T. Ida and T. Suzuki. Cooperative Constraint Functional Logic Programming. In International Symposium on Principles of Software Evolution (IPSE'2000), pp. 223-230, November 1-2, 2000.
28. K. Marriott and P.J. Stuckey. Programming with Constraints, An Introduction. The MIT Press, 1998.
29. A. Middeldorp and E. Hamoen. Completeness Results for Basic Narrowing. Applicable Algebra in Engineering, Communications and Computing 5, pp. 213-253, 1994.
30. J.A. Robinson ans E.E. Sibert. LOGLISP: Motivation, Design and Implementation. In K.L. Clark and S.A. Tärnlund (eds.), Logic Programming, Academic Press, pp. 299-313, 1982.
31. R. del Vado-Vírseda. A Demand-driven Narrowing Calculus with Overlapping Definitional Trees. Proc. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'03), ACM Press, pp. 213-227, 2003.
32. P. Van Hentenryck. Constraint logic programming. The Knowledge Engineering Review, Vol. 6:3, pp. 151-194, 1991.