Techniques of Prolog programming - T. Van Le (John Wiley, 1993)