FOCL

An expert system shell, a backward chaining rule interpreter for the Mac.