UPV-Curry: An Incremental Curry Interpreter

  • M. Alpuente
  • S. Escobar
  • S. Lucas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1725)


Functional logic programming integrates the best features of modern functional and logic languages. The multi-paradigm declarative language Curry is an extension of Haskell which is intended to become a standard in the area. In this paper, we present UPV-Curry, an efficient and quite complete implementation of Curry based on a new, incremental definition of its basic evaluation mechanism.We compare UPV-Curry with already existing implementations of other Curry interpreters.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E. Albert, M. Alpuente, M. Hanus, and G. Vidal. A Partial Evaluation Framework for Curry Programs. In Proc. of LPAR’99.Google Scholar
  2. 2.
    S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. of POPL’94, pages 268–279, 1994.Google Scholar
  3. 3.
    M. Alpuente, S. Escobar, and S. Lucas. Incremental needed narrowing. In Proc. of the International PLI’99 Workshop IDL’ 99.Google Scholar
  4. 4.
    M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A Transformation System for Lazy Functional Logic Programs In Proc. of FLOPS’ 99.Google Scholar
  5. 5.
    M. Alpuente, M. Hanus, S. Lucas, and G. Vidal. Specialization of Inductively Sequential Functional Logic Programs. In Proc. of ICFP’99.Google Scholar
  6. 6.
    F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.Google Scholar
  7. 7.
    S. Escobar, M. Alpuente, and S. Lucas. UPV-Curry User’s Manual. TR DSIC-II/38/98.
  8. 8.
    M. Hanus, S. Antoy, H. Kuchen, F. J. López-Fraguas, and F. Steiner. Curry An Integrated Functional Logic Language (version 0.5). Available at hanus/curry, Jan 1999.
  9. 9.
    M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583–628, 1994.CrossRefMathSciNetGoogle Scholar
  10. 10.
    M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A truly functional logic language. In Proc. ILPS’95 Workshop on Visions for the Future of Logic Programming, pages 95–107, 1995.Google Scholar
  11. 11.
    P. Hill and J. W. Lloyd. The Gödel Programming Language. The MIT Press, Cambridge, MA, 1994.zbMATHGoogle Scholar
  12. 12.
    P. Hudak, S. Peyton Jones, and P. Wadler. Report on the Functional Programming Language Haskell: a non-strict, purely functional language. Sigplan Notices, 27(5), 1992.Google Scholar
  13. 13.
    H. Kuchen and J. Anastasiadis. Higher Order Babel: Language and implementation. In Proc. of ELP’ 96, LNAI 1050:193–207, 1996.Google Scholar
  14. 14.
    F.J. López Fraguas and J. Sánchez Hernández. τογ:A multiparadigm Declarative System. In Proc. of RTA’99, LNCS 1631, 1999.Google Scholar
  15. 15.
    R. Milner, M. Tofte, and R. Harper. The Definition of ML. The MIT Press, 1990.Google Scholar
  16. 16.
    G. Nadathur and D. Miller. An Overview of λProlog. In Proc. of ICLP’88,pages 810–827. The MIT Press, Cambridge, MA, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • M. Alpuente
    • 1
  • S. Escobar
    • 1
  • S. Lucas
    • 1
  1. 1.Departamento de Sistemas Informáticos y ComputaciónUniversidad Politécnica de ValenciaValenciaSpain

Personalised recommendations