Micro Interpreter for Knowledge Engineering
(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].
{(ftp://hcrl.open.ac.uk/pub/software/src/MIKE-v2.03)}.
Contact: Marc Eisenstadt, HCRL, {Open University}.
(1995-01-10)