☰

The Ciao engine

Eventually, this should contain a description of the engine, as a chapter of the Reference Manual.

NOTE: After Ciao v0.8 and before switching to SVN and Git, changes to the engine C files where documented in the Manifest/GlobalChangeLog file.

Generated with LPdoc using Ciao