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.

From

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

Note

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