Enviar aquest missatge de text: Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG