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