https://www.amazon.com/Artificial-Intelligence-Search-Methods-PROLOG-ebook/dp/B004ZUTKJI/ref=sr_1_16?s=books&ie=UTF8&qid=1480791576&sr=1-16&keywords=prolog