|
|
||||||||||
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.
| document: http://www.ifcomputer.co.jp/News/MIKEforIFProlog/print_en.html published 2012/5/21 update 1999/3/25 (c) 1996-2009 IF Computer Japan | ||||||||
|
