Las variables en PROLOG se representan con letras mayúsculas y se utilizan para almacenar valores que pueden cambiar. Permiten generalizar reglas y hacer inferencias.

Ejemplo:

padre(juan, maria).
padre(juan, pedro).

es_padre(X) :- padre(X, _). % X es un padre si existe un hecho de padre que lo relacione

En este caso, X es una variable que puede representar a cualquier persona que sea padre.