Techniques in Prolog programming - Le, T.Van (John Wiley & Sons, 1993)