Un prédicat est une méthode qui représente un ensemble de critères et décide pour un objet donné si ces critères sont remplis ou non. Dans les langages informatiques, un prédicat est exprimé comme une fonction qui prend un seul objet comme paramètre d'entrée et renvoie une valeur booléenne.