BABYLON: Development environment for expert systems.

BABYLON is a modular, configurable, hybrid environment for developing
expert systems. Its features include objects, rules with forward and
backward chaining, logic (Prolog) and constraints. BABYLON is
implemented and embedded in Common Lisp.