Prolog: programación y aplicaciones - Burman, W.D., Hall, A.R. (Limusa, 1989)