Logic Programming With Prolog by Max Bramer & M.A. Bramer