A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

Casas, Amadeo; Cabeza Gras, Daniel y Hermenegildo, Manuel V. (2006). A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems. En: "Functional and Logic Programming Functional and Logic Programming 8th International Symposium, FLOPS 2006", April 24-26, 2006, Fuji-Susono, Japan. ISBN 978-3-540-33438-5.

Descripción

Título: A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems
Autor/es:
  • Casas, Amadeo
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Functional and Logic Programming Functional and Logic Programming 8th International Symposium, FLOPS 2006
Fechas del Evento: April 24-26, 2006
Lugar del Evento: Fuji-Susono, Japan
Título del Libro: Functional and Logic Programming
Fecha: 2006
ISBN: 978-3-540-33438-5
Volumen: 3945
Materias:
Palabras Clave Informales: Declarative languages, Logic, Functional, Logic- functional programming, Lazy evaluation, Higher order, Lenguajes declarativos, Lógica, Evaluación perezosa, Nivel superior
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 (947kB) | Vista Previa

Resumen

Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of functional programming. However, functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow 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, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system 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: 14350
Identificador DC: http://oa.upm.es/14350/
Identificador OAI: oai:oa.upm.es:14350
URL Oficial: http://link.springer.com/chapter/10.1007%2F11737414_11
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 24 Ene 2013 07:28
Ultima Modificación: 21 Abr 2016 13:58
  • 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