Productive Prolog programming - Schnupp, Peter (Prentice-Hall International, 1987)