Prolog

简明解释

Prolog是一族逻辑编程语言：程序员声明事实和规则，用户提出查询，系统通过统一与目标驱动搜索寻找满足查询的替换。例如，已知parent(a,b)和“父母关系推出祖先关系”的规则，可以查询谁是a的后代；结果取决于给定事实、规则、搜索顺序和终止性。Prolog在1970年代初由Alain Colmerauer、Philippe Roussel等人在马赛发展。[1, §§1–3]

Prolog能用于构建知识系统，却不是专家系统的同义词，也不同于典型前向产生式系统的“全局冲突集—触发”循环。使用逻辑语法不会自动保证知识完整、程序终止或结论符合现实。

继续阅读

规则与后向链的区别见第8章。