Problem Solving With Prolog - John Stobo - http://clzrin.com/download-ebook/problem-solving-with-prolog-john-stobo/