prolog - Prolog - 功能术语与谓词

Question

prolog 中的功能术语与谓词有什么区别？

Answer 1

如果我没记错的话：

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

谓词不是事物的名称，而是事物本身；或真或假的东西。函数式术语用于定义和调用谓词。

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