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