turboProlog2.0英文版DOC下运行感觉没有SWIProlog好用