Problem Solving With Prolog by Charles Hunter, Stobo John & John Stobo