(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. (1995-01-10)