Introducción a los lenguajes Prolog y Lisp : teoría y práctica - Vázquez-Torres, Fernando (Instituto Politécnico Nacional, 1999)