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.