Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第二节， 证明搜索

证明搜索

 上一节我们已经学习了合一，本节我们继续学习Prolog是如何通过搜索知识库去决定输入的查询是否能够满足。我们将会学习证明搜索，并通过简单的一个例子去涵盖这个基础的概念。 上一节我们已经学习了合一，本节我们继续学习Prolog是如何通过搜索知