Bonsoir,
Pour autant que je le sache, un prédicat est une fonction logique dont la valeur peut être "vraie" ou "fausse" selon la valeur de ses arguments.
Exemple : Une assertion est un prédicat retournant "faux" si une erreur de programmation amène à un état anormal du système (exemples : opération conduisant à une division par zéro, ou valeur affectée à un pointeur pointe sur une adresse inaccessible).
Hope it helps!