The Micro Interpreter for Knowledge Engineering (MIKE-V2) runs on IF/Prolog with minimal changes. MIKE2 implements forward and backward chaining and frame manipulation. MIKE is intended for educational use (c) Open University, England.
