Hechos

Hechos: declaran relaciones entre objetos (cosas que son verdaderas). E.g.:

quiere(juan, maria).
suma(2,3,5).
valioso(oro).
clase(prolog,eduardo).

papa(juan,juanito).
papa(juan.juana).
papa(rival,ana).
papa(juanito,pepe).
papa(juanito,patricia).
mama(maria,juanito).
mama(maria,juana).
mama(maria,ana).

A las relaciones también se les llama predicados.