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 (México, Distrito Federal : Alfaomega, 2009)
Keywords: PROGRAMACION LOGICA; PROLOG (LENGUAJE DE PROGRAMACION PARA COMPUTADORA); LOGICA DE PRIMER ORDEN