MIKE
Micro Interpreter for Knowledge Engineering
An expert system shell for teaching purposes, with forward and backward chaining and user-definable conflict resolution strategies. Written in Edinburgh Prolog.
BYTE Oct 1990.