摘要：
在学习了前三章内容后，我们应该对Prolog编程有了直观和理性的认识。由于合一、变量初始化、证明搜索和递归都是Prolog的核心概念，所以有如下更多的一些实践和练习。这里我会先录入题目，后期再给出我自己的程序代码和一些思考。实践1试想有如下的描述迷宫的知识库。其中的事实描述了点和点之间的联通关系，即... 阅读全文
|
摘要：
在学习了前三章内容后，我们应该对Prolog编程有了直观和理性的认识。由于合一、变量初始化、证明搜索和递归都是Prolog的核心概念，所以有如下更多的一些实践和练习。这里我会先录入题目，后期再给出我自己的程序代码和一些思考。实践1试想有如下的描述迷宫的知识库。其中的事实描述了点和点之间的联通关系，即... 阅读全文
|