Predicate Function
A type of function which returns a True or False value (compare:
YesNoQuestion
).
See also:
http://en.wikipedia.org/wiki/Predicate_%28mathematical_logic%29
FuzzyPredicate
PredicateLogic