Predykat to metoda, która reprezentuje zestaw kryteriów i decyduje dla danego obiektu, czy kryteria te są spełnione, czy nie. W językach komputerowych predykat jest wyrażany jako funkcja, która przyjmuje pojedynczy obiekt jako parametr wejściowy i zwraca wartość logiczną.