Inteligencia artificial : y prolog en microcomputadoras - McAllister, J. (Alfaomega Grupo Editor, 1999)