Lógica para la computación Teorías de primer orden, resolución y elementos de programación lógica y PROLOG