PROLOG programming - Ford, Nigel (Wiley, 1989)