Functional notation and lazy evaluation in Ciao

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

Description

Title: Functional notation and lazy evaluation in Ciao
Author/s:
  • Casas, Amadeo
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems
Event Dates: October 2-5, 2005
Event Location: Sitges, Spain
Title of Book: Proceedings of CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems
Date: 2005
Subjects:
Freetext Keywords: 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.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (802kB) | Preview

Abstract

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.

More information

Item ID: 14610
DC Identifier: http://oa.upm.es/14610/
OAI Identifier: oai:oa.upm.es:14610
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 09 Mar 2013 23:39
Last Modified: 21 Apr 2016 14:21
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM