This module contains the definition of a predicate. A predicate is a function that takes a set of parameters and returns a boolean.