SAL Home PROGRAM Languages & Compilers


Terzo is an interpreter of lambda Prolog implemented in Standard ML of NJ. This interpreter is the third in a sequence of lambda Prolog interpreters written and maintained by people from Bell Labs, Carnegie-Mellon, Duke University, and the University of Pennsylvania.

Current Version:   1.1b

License Type:   Free

Home Site: (lamda Prolog Home Page)

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   Yes (old version)

Targeted Platforms:

SML/NJ is available

Software/Hardware Requirements:

SML/NJ to compile.

Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.