The Terzo implementation of lambda-Prolog is available as
/afs/inf.ed.ac.uk/group/dreamers/group/bin/Terzo
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.