Cial intelligenCe, tool> (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)