language Object-oriented language for an inferencesystem with a Lisp-like appearance, but based on set

theory.