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