CiaoPP Tutorials
The Computational logic, Languages,
Implementation, and Parallelism (CLIP) Lab
https://www.cliplab.org/School of CS, T. U. of Madrid (UPM)
IMDEA Software Institute
The Ciao Development Team
Edited by:
Manuel Hermenegildo
Pedro López
José Francisco Morales
This document/site groups a number of
interactive tutorials meant to help when starting to use
CiaoPP. It is a companion to the
reference manual for
CiaoPP, which gives a fuller description of the system.
Parts of this manual