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