Prolog编译环境及其示例代码,对于初学人工智能的人很有用