En PROLOG, los predicados son declaraciones que describen relaciones entre diferentes entidades. Un predicado puede considerarse una función que puede ser verdadera o falsa.

Ejemplo:

padre(juan, maria). % Juan es padre de María
madre(ana, pedro).  % Ana es madre de Pedro

En este caso, padre/2 y madre/2 son predicados que establecen relaciones familiares.