Further programming in PROLOG writing application programs - Hepburn, Philip H. (Horwood, 1987)