How machines think : a general introduction to artificial intelligence ; illustrated in prolog - Ford, Nigel (Wiley, 1987)