An overview of the ciao system

Hermenegildo, Manuel V.; Bueno Carrillo, Francisco; Carro Liñares, Manuel; López García, Pedro; Haemmerlé, R.; Mera, E.; Morales Caballero, José Francisco y Puebla Sánchez, Alvaro Germán (2011). An overview of the ciao system. En: "5th International Symposium, RuleML 2011", July 19-21, 2011, Europe, Barcelona, Spain. ISBN 9783642225451.


Título: An overview of the ciao system
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
  • Carro Liñares, Manuel
  • López García, Pedro
  • Haemmerlé, R.
  • Mera, E.
  • Morales Caballero, José Francisco
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Otro)
Título del Evento: 5th International Symposium, RuleML 2011
Fechas del Evento: July 19-21, 2011
Lugar del Evento: Europe, Barcelona, Spain
Título del Libro: Rule-Based Reasoning, Programming, and Applications
Fecha: Julio 2011
ISBN: 9783642225451
Volumen: 6826
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

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


Ciao is a logic-based, multi-paradigm programming system. One of its most distinguishing features is that it supports a large number of semantic and syntactic language features which can be selectively activated or deactivated for each program module. As a result, a module can be written in, for example, ISO-Prolog plus constraints and higher order, while another can be a puré logic module with a different control rule such as iterative deepening and/or tabling, and perhaps using constructive negation. A powerful and modular extensión mechanism allows user-level design and implementation of such features and sub-languages. Another distinguishing feature of Ciao is its powerful assertion language, which allows expressing many kinds of program properties (ranging from, e.g., moded types to resource consumption), as well as tests and documentation. The compiler is capable of statically ñnding violations of these properties or verifying that programs comply with them, and issuing certiñcates of this compliance. The compiler also performs many types of optimizations, including automatic parallelization. It offers very competitive performance, while retaining the flexibility and interactive development of a dynamic language. We will present a hands-on overview of the system, through small examples which emphasize the novel aspects and the motivations which lie behind Ciao's design and implementation.

Más información

ID de Registro: 14506
Identificador DC:
Identificador OAI:
URL Oficial:
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 19 Feb 2013 16:24
Ultima Modificación: 21 Abr 2016 14:12
  • InvestigaM
  • GEO_UP4
  • 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
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM