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