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