Prolog - 功能术语与谓词

标签 prolog

有什么区别功能术语来自 谓词在序言中?

最佳答案

如果我没记错的话:

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

谓词不是事物的名称,而是事物本身;是真或假的东西。功能术语用于定义和调用谓词。

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

关于Prolog - 功能术语与谓词,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15807506/

相关文章:

prolog - 关于解决CLP中整数约束的问题

prolog - 我可以用谓词中的变量来代替仿函数吗

prolog - 使用 prolog DCG 查找和替换 - 代码审查

prolog - GNU Prolog 断言错误

prolog - 背包寻找最大

prolog - 在 Prolog 中将两个多项式相乘

list - 有任何内容([_])和任何内容(_)的列表有什么区别

prolog - 使用 Prolog 的定理证明

list - Prolog-如何检查列表是否包含某些元素?