Terzo lambdaProlog

Documentation for LambdaProlog

A draft of Dale Miller's book "lambda Prolog: An Introduction to the Language and its Logic" is available in pdf and compressed dvi and postscript formats.

See also the Lambda Prolog page maintained by Dale Miller

Brief information on running Terzo on the Sparcs

The binary is /home/users2/sml/terzo/bin/Terzo.
Read /home/users2/sml/terzo/doc/README for information on setting environment variables before running Terzo.
See related files in /home/users2/sml/terzo/doc/ for additional documentation.

Quickstart: set the following environment variable:

      setenv TERZO_BASE "/home/users2/sml/terzo/"

To run terzo from with emacs include the following code in your .emacs file:

(setq load-path (cons "/home/users3/hannan/emacs" load-path))
(global-set-key "\C-cp" 'cmuterzo)
(setq explicit-terzo-file-name "/home/users2/sml/terzo/bin/Terzo")
(autoload 'cmuterzo "cmuterzo"  "Run an inferior terzo process." t)

The key sequence C-cp (Control-C p) will then start terzo.

To discover what primitive types, contants, and operators are provided in terzo, look at the System Modules directory. For example, examining the file int.mod you can discover the available integer operations.