(MIKE) An expert system shell for teaching purposes, with forward chaining, backward chaining, and user-definable conflict resolution strategies. MIKE is written in Edinburgh Prolog.

Version 2.03.

[BYTE, Oct 1990].

Contact: Marc Eisenstadt, HCRL, Open University.