Adding constraints to curry via flat guards

WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

Volumn , Issue , 2005, Pages 14-22

  Mariño, Julio ^a   Rey, José María ^b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b TELEFONICA RESEARCH   (Spain)

Author keywords

Constraints; Curry; Definitional Trees; Sloth; Type Classes

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; INTEGRATION; LOGIC PROGRAMMING; TREES (MATHEMATICS);

CONSTRAINTS; CURRY; DEFINITIONAL TREES; SLOTH; TYPE CLASSES;

CONSTRAINT THEORY;

EID: 32044446016     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085099.1085104     Document Type: Conference Paper

References (13)

1. Sergio Antoy, Rachid Echahed, and Michael Hanus. A needed narrowing strategy. In Proc. 21st. ACM Symposium on Principles of Programming Languages, pages 268-279, Portland, Oregon, 1994. ACM Press.
2. Puri Arenas Sánchez, Ana Gil Luezas, and Francisco López Fraguas. Combining lazy narrowing with disequality constraints. In Hermenegildo and Penjam, editors, Programming Language Implementation and Logic Programming, PLILP94, number 844 in LNCS, pages 385-399. Springer, 1994.
3. M. Hanus (ed.), H. Kuchen, and J.J. Moreno-Navarro et al. Curry: An integrated functional logic language. Technical report, RWTH Aachen, 2000.
4. Michael Hanus. The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 19 & 20:583-628, 1994.
5. Michael Hanus, Sergio Antoy, Herbert Kuchen, Francisco J. Lopez-Fraguas, Wolfgang Lux, Juan José Moreno-Navarro, and Frank Steiner. Curry: An Integrated Functional Logic Language, 0.8 edition, April 2003. Editor: Michael Hanus.
6. M. Hermenegildo, F. Bueno, M. García de la Banda, and G. Puebla. The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, december 1995. Available from http://www.clip.dia.fi.upm.es/.
7. Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503-581, 1994.
8. Wolfgang Lux. Adding linear constraints over real numbers to curry. In K. Ueda H. Kuchen, editor, Proc. FLOPS 2001, number 2024 in LNCS, pages 185-200. Springer-Verlag, March 2001.
9. Francisco López Fraguas, Mario Rodríguez Artalejo, and R. del Vado Virseda. A lazy narrowing calculus for declarative constraint programming. In Principles and Practice of Declarative Programming, PPDP2004, pages 43-54. ACM, 2004.
10. Francisco López Fraguas and Jaime Sánchez Hernández. TOY: A multiparadigm declarative system. In Narendran and Rusinowitz, editors, Rewriting Techniques and Applications, RTAI999, number 1631 in LNCS, pages 244-247. Springer, 1999.
11. Francisco Javier López Fraguas. A general scheme for constraint functional logic programming. In Algebraic and Logic Programming, LNCS. Springer Verlag, 1992.
12. Julio Mariño and José María Rey. The implementation of Curry via its translation into Prolog. In Kuchen, editor, 7th Workshop on Functional and Logic Programming (WFLP98), number 63 in Working Papers. Westfälische Wilhelms-Universität Münster, 1998.
13. Juan José Moreno-Navarro. Expressivity of functional logic languages and their implementation. In R. Barbuti M. Alpuente, editor, Joint Conference on Declarative Programming GULP-PRODE'94. GULP (Italian ALP Chapter), Universidad Politécnica Valencia, Servicio de publicaciones Universidad Politécnica de Valencia, September 1994.