A modular and configurable environment for developing expert systems, which was created at the German National Research Center for Computer Sciences (GMD). It is a forward/backward chaining, hybrid system supporting a number of knowledge representation formalisms: frames, rules, Horn clauses, constraints.