A Proposal for Disequality Constraints in Curry

Electronic Notes in Theoretical Computer Science

Volumn 177, Issue 1, 2007, Pages 269-285

  Gallego Arias, Emilio Jesús ^a   Carballo, Julio Mariño ^a   Rey Poza, José María ^b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b TELEFONICA RESEARCH   (Spain)

Author keywords

Constraints; Curry; Disequality; Implementation; Sloth

Indexed keywords

ALGEBRAIC DATA; CURRY COMPILERS; DISEQUALITY CONSTRAINTS;

ALGORITHMS; BOOLEAN ALGEBRA; DATA REDUCTION; FUNCTIONAL ANALYSIS; PROBLEM SOLVING; PROGRAM COMPILERS; SEMANTIC WEB;

CONSTRAINT THEORY;

EID: 34249003436     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.01.014     Document Type: Article

References (10)

1. Puri Arenas-Sánchez, Ana Gil-Luezas, and Francisco Javier López-Fraguas. Combining lazy narrowing with disequality constraints. In PLILP, pages 385-399, 1994
2. Gallego Arias E.J., and Mariño J. An overview of the Sloth2005 Curry System: System Description. WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming (2005), ACM Press, New York, NY, USA 66-69
3. Michael Hanus, Sergio Antoy, Herbert Kuchen, Francisco J. López-Fraguas, Wolfgang Lux, Juan José Moreno-Navarro, and Frank Steiner. Curry: An Integrated Functional Logic Language, 0.8.2 edition, April 2006. Editor: Michael Hanus
4. 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/
5. Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, and Mario Rodríguez-Artalejo. Implementing a lazy functional logic language with disequality constraints. In JICSLP, pages 207-221, 1992
6. Francisco Javier López-Fraguas and Jaime Sánchez-Hernández. Disequalities may help to narrow. In Maria Chiara Meo and Manuel Vilares Ferro, editors, APPIA-GULP-PRODE, pages 89-104, 1999
7. López-Fraguas F.J., and Sánchez-Hernández J. TOY: A multiparadigm declarative system. In: Narendran P., and Rusinowitch M. (Eds). RTA. Lecture Notes in Computer Science volume 1631 (1999), Springer 244-247
8. Wolfgang Lux. Münster Curry User's Guide, 0.9.10 edition
9. 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
10. Moreno-Navarro J.J., and Rodríguez-Artalejo M. Babel: A functional and logic programming language based on constructor discipline and narrowing. In: Grabowski J., Lescanne P., and Wechler W. (Eds). ALP. Lecture Notes in Computer Science volume 343 (1988), Springer 223-232