PROLOG for computer science - Dawe, M.S; Dawe, C.M (Springer Verlag, 1994)