摘要：
证明搜索上一节我们已经学习了合一，本节我们继续学习Prolog是如何通过搜索知识库去决定输入的查询是否能够满足。我们将会学习证明搜索，并通过简单的一个例子去涵盖这个基础的概念。假设我们有如下的知识库：f(a).f(b).g(a).g(b). h(b).k(X) :- f(X), g(X), h(X)... 阅读全文
|
摘要：
证明搜索上一节我们已经学习了合一，本节我们继续学习Prolog是如何通过搜索知识库去决定输入的查询是否能够满足。我们将会学习证明搜索，并通过简单的一个例子去涵盖这个基础的概念。假设我们有如下的知识库：f(a).f(b).g(a).g(b). h(b).k(X) :- f(X), g(X), h(X)... 阅读全文
|