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.