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