Programación en Prolog - Clocksin, W. F; Mellish, C. S (Colección Ciencia Informática, 1987)