Prolog programming and applications - BURNHAM, W.D (Houndmills Macmillan, 1985)