Scheme “一词的由来”；谓语；引用布尔函数？

在Scheme中，使用术语“谓词”：

谓词是始终返回布尔值（#t或#f）的过程

---

scheme为什么使用“谓词”来引用这样的函数？如果这个用法来自以前的一种语言，那么选择这个术语的动机是什么呢？

嗯，这来自数理逻辑，正如所说的，谓词是一阶逻辑中的一个基本概念。在逻辑的每一个“实现”中，谓词都是一个对或错的句子——因此它非常适合于编程语言