terzo local documentation
-
QuickStart
A very brief introduction to the Terzo interpreter,
designed to get the experienced lambda-Prolog programmer up and
running with as little fuss as possible.
-
loader
loader.doc - A more detailed description of the loader, including
commands and variables.
-
The lexical description of the
lambda Prolog language, as implemented in Terzo.
-
The grammar
of the language, as implemented in Terzo.
-
System modules
This directory contains information about the system
modules available in Terzo. See SystemModules/README for more information.
Last modified: Thu Jun 16 01:56:11 BST 2011