BABYLON

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://ftp.gmd.de/gmd/ai-research/Software/.