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