El cuerpo de una regla consiste en llamadas a predicados, que son llamados los objetivos de las reglas.