资料来源 : Free On-Line Dictionary of Computing

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)