La programación lógica gira en torno al concepto de predicado, o relación entre elementos.