Prolog programación y aplicaciones - Burnham, W. D. (Limusa, 1989)