PROLOG programming - Ford, Nigel (John Wiley & Sons, 1989)