谓词

Predicate 被译作“谓词”，当然还会有其他译名。在计算机科学中，它指的是 布尔值函数 ，也就是返回值必须是 true 或者 false 的函数。

其实最重要的是不要把它和预言 Predict 弄混，我就弄混了。

如果联系英语语法中的谓语，我个人觉得这个词其实在描述一种“主语所具有的表征或属性”，跟上面的概念也非常契合。