Practice of Prolog - Sterling Leon S Ed. (Cambridge MIT Press, 1990)