Logic Programming with Prolog - Max Bramer (Springer)