Further programming in prolog writing application programs - Hepburn, P.H. (Singapore John Wiley, 1987)