Seaman.h.zhang

摘要： 内容提要：合一的定义；一些合一的例子；触发校验；使用合一编程；合一的定义在上一章的知识库KB4中，我们简单地提及了合一的思想。比如，Prolog将woman(X)和woman(mia)合一，所以把变量X初始化为mia。现在是时候更加细致地研究合一，因为合一是Prolog中最为基础的思想。回顾一下Pr... 阅读全文