The Ciao InternalsThe Ciao Compiler, Engine, and Runtime libraries
This (semi-automatically generated) manual is still incomplete. It is however being updated regularly as the machine-readable documentation of the different libraries is completed.
This is the internal manual for the Ciao compiler, engine, and runtime libraries. It documents modules not included in the reference manual.
Please consult the alldocs bundle for the Ciao reference manual.
Parts of this manual