La programación lógica permite formalizar hechos del mundo real, por ejemplo: