micro-prolog micro-prolog语言 micro-prolog入门 micro—prolog程式设计 microbiology micro-prolog语言应用指南 microtechnology micro-prolog程式员参考手册 microtechnology. micro-prolog逻辑程序设计语言