O'Reilly logo
  • Richard Williams thinks this is interesting:

In logic, a predicate is a formula with variables that will yield an answer, true or false, when all of its variables are bound to appropriate values. By “appropriate”, we mean values that are consistent with the type expected by the corresponding variable.


Cover of NoSQL and SQL Data Modeling: Bringing Together Data, Semantics, and Software


Great illustration of the word predicate and its diverse use even within our own domain of software engineering