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