A development environment for expert systems. It includes frames, constraints, a prolog-like logic formalism, and a description language for diagnostic applications. It requires Common Lisp.
FTP
(08 Feb 1995)