Logic Programming with Prolog - Bramer (Springer London, 2013)