(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)