Prolog - 函数式术语 vs 谓词

Question

4

在Prolog中，“功能术语”与“谓词”的区别是什么？

- xiamtos

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- user1727289 · Accepted Answer

如果我没记错的话：

功能术语是一种看起来像pred_name(...)的术语类型。解析器处理术语，其中还包括常量和变量。

谓词不是事物的名称，而是事物本身；它可以是真或假。功能术语用于定义和调用谓词。

因此，严格来说，术语不能成功或失败，你也无法解析谓词。这就像数字和数之间的区别一样。