Techniques of Prolog Programming - "Van Lee, T" (John Wiley & Sons Inc., NEW YORK, 1993)