Logic Programming with Prolog - Bramer, Max (Springer London, 2005)