Bases de conocimiento con Prolog - Garzón Torres, Néstor Manuel, (Editorial Universidad Autónoma de Colombia, 2018)