The Terzo implementation of lambda-Prolog is available as


You can make an alias for the command by putting this line in your .brc file in your home directory:

alias Terzo=/afs/inf.ed.ac.uk/group/dreamers/group/bin/Terzo

The abbreviated command can be used in subsequent invocations of the bash shell.

Alan Smaill
Last modified: Tue Nov 24 14:17:43 GMT 2015