Terzo 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: http://www.cis.upenn.edu/~dale/lProlog/terzo/index.html http://www.cis.upenn.edu/~dale/lProlog/ (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: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers