An Overview of the Ciao System

Abstract

Ciao is a logic-based, multi-paradigm programming system. One of its most distinguishing features is tha t 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 writ ten in, for example, ISO-Prolog plus constraints and higher order, while… (More)
DOI: 10.1007/978-3-642-22546-8_2

Topics

Cite this paper

@inproceedings{Hermenegildo2011AnOO, title={An Overview of the Ciao System}, author={Manuel V. Hermenegildo and Francisco Bueno and Manuel Carro and Pedro L{\'o}pez-Garc{\'i}a and R{\'e}my Haemmerl{\'e} and Edison Mera and Jos{\'e} F. Morales and Germ{\'a}n Puebla}, booktitle={RuleML Europe}, year={2011} }