Functional notation and lazy evaluation in Ciao

Casas, Amadeo; Cabeza Gras, Daniel y Hermenegildo, Manuel V. (2005). Functional notation and lazy evaluation in Ciao. En: "CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems", October 2-5, 2005, Sitges, Spain.

Descripción

Título: Functional notation and lazy evaluation in Ciao
Autor/es:
  • Casas, Amadeo
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems
Fechas del Evento: October 2-5, 2005
Lugar del Evento: Sitges, Spain
Título del Libro: Proceedings of CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems
Fecha: 2005
Materias:
Palabras Clave Informales: Declarative languages, Logic programming, Functional programming, Logic-functional programming, Lazy evaluation, Lenguajes declarativos, Programación lógica, Programación funcional, Programación lógico-funcional, Evaluación perezosa.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (802kB) | Vista Previa

Resumen

Certain aspects of functional programming provide syntactic convenience, such as having a designated implicit output argument, which allows function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión of Prolog covering function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features. We also highlight the Ciao features which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

Más información

ID de Registro: 14610
Identificador DC: http://oa.upm.es/14610/
Identificador OAI: oai:oa.upm.es:14610
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 09 Mar 2013 23:39
Ultima Modificación: 21 Abr 2016 14:21
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM