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