Go to the first, previous, next, last section, table of contents.


Summary

Ciao is a public domain programming environment which supports the development and efficient compilation of logic programs, constraint logic programs (CLP), functional logic programs, and object-oriented logic programs. In particular, Ciao includes standard ISO-Prolog as a sublanguage and a program development environment similar to that of traditional Prolog and CLP implementations. However, Ciao extends the Prolog language and improves on traditional Prolog programming environments in a number of significant ways:

The Ciao language has been designed from the ground up to be highly extensible (in a modular way) and to allow modular program development, global program analysis, and static debugging and optimization via source to source program transformation, including automatic parallelization. The latter tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao system also includes a rich emacs interface and a number of execution visualization tools.

Ciao is distributed under the GNU General Public License, version 2, as published by the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

This documentation corresponds to version 1.4 (1999/11/27, 19:0:0 MEST).


Go to the first, previous, next, last section, table of contents.