Logic Programming with Prolog - Bramer, Max. (Springer London : Imprint: Springer, 2013)