Observatorio de I+D+i UPM

Memorias de investigación
Conferences:
An Overview of the Ciao System
Year:2011
Research Areas
  • Programming language
Information
Abstract
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 pure logic module with a different control rule such as iterative deepening and/or tabling, and perhaps using constructive negation. A powerful and modular extension 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 finding violations of these properties or verifying that programs comply with them, and issuing certificates 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.
International
Si
978-3-642-22545-1
Entity
The 5th International Symposium on Rules: Research Based and Industry Focused
Entity Nationality
ESPAÑA
Place
Barcelona, Spain
Participants
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Francisco Bueno Carrillo (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Pedro López (CSIC)
  • Autor: Remmy Haemmerlé
  • Autor: Edison Fernando Mera Menéndez (UPM)
  • Autor: José Francisco Morales Caballero (UPM)
  • Autor: Alvaro German Puebla Sanchez (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)