Ein Prädikat ist eine Methode, die eine Reihe von Kriterien darstellt und für ein bestimmtes Objekt entscheidet, ob diese Kriterien erfüllt sind oder nicht. In Computersprachen wird ein Prädikat als eine Funktion ausgedrückt, die ein einzelnes Objekt als Eingabeparameter verwendet und einen booleschen Wert zurückgibt.