An overview of ciao and its design philosophy

Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Carro Liñares, Manuel and López García, Pedro and Mera, E. and Morales Caballero, José Francisco and Puebla Sánchez, Alvaro Germán (2010). An overview of ciao and its design philosophy. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.


Title: An overview of ciao and its design philosophy
  • Hermenegildo, Manuel V.
  • Bueno Carrillo, Francisco
  • Carro Liñares, Manuel
  • López García, Pedro
  • Mera, E.
  • Morales Caballero, José Francisco
  • Puebla Sánchez, Alvaro Germán
Item Type: Monograph (Technical Report)
Date: March 2010
Freetext Keywords: Prolog, logic programming system, assertions, verification, extensible languages, sistemas de programación lógica, afirmaciones, Verificación, Lenguajes extensibles.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview

Alternative locations

Official URL:


We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful autodocumenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature.

More information

Item ID: 14688
DC Identifier:
OAI Identifier:
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 25 Mar 2013 08:53
Last Modified: 21 Apr 2016 14:27
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM