Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG - Ledesma, Luis de (Alfaomega, 2010)