A development environment for expert system s. It includes frame s, constraint s, a prolog -like logic formalism, and a description language for diagnostic applications. It requires Common Lisp .
ftp://ftp.gmd.de/gmd/ai-research/Software/ .
(1995-02-08)