咨询Prolog术语（fact、rule、procedure、predicate等）的正确性

嘿，这个问题抓得很准！先给你拍板：Clocksin在《Clause and Effect》里用的这些Prolog术语完全正确，都是Prolog社区公认的标准表述，我给你逐个理清楚它们的关联，帮你吃透这些基础概念：

• Predicate（谓词）：可以理解为代表某种关系或属性的“标识符+参数框架”，比如parent(X,Y)就是一个谓词，它定义了X和Y之间的父子关系。它是用来归类相关逻辑的“标签”，本身不包含具体的真假判断。
• Procedure（过程）：同一个谓词对应的所有子句（事实和规则）的集合。举个例子，如果有parent(john, mary).（事实）和parent(X,Y) :- father(X,Y).（规则），这两个子句合在一起就是parent/2这个谓词对应的过程。
• Fact（事实）：Prolog里最基础的子句形式，用来直接陈述一个确定的事实，比如likes(alice, coffee).，相当于“爱丽丝喜欢咖啡”这个既定的、无需推导的结论。
• Rule（规则）：带条件的子句，用:-（读作“if”）连接结论和前提，比如likes(X, tea) :- likes(X, coffee).，意思是“如果X喜欢咖啡，那么X喜欢茶”，是用来推导新事实的逻辑规则。

再看你引用的原文段落：

A Prolog program consists of a collection of procedures . Each procedure defines a particular predicate , being a certain relationship between its arguments .

这段描述完美契合Prolog的程序结构：一个Prolog程序就是若干过程的集合，每个过程对应一个谓词，而谓词的核心就是它参数之间的关系——完全没有术语使用上的问题。

内容的提问来源于stack exchange，提问作者Guy Coder