OPS5

A language for building expert systems. It keeps knowledge in the form of if-then rules and supports a wide variety of control structures, and an efficient forward chaining interpreter.