Un predicato è un metodo che rappresenta un insieme di criteri e decide per un dato oggetto se questi criteri sono soddisfatti o meno. Nei linguaggi dei computer un predicato è espresso come una funzione che accetta un singolo oggetto come parametro di input e restituisce un valore booleano.