Logic Programming with Prolog https://www.amazon.com/Logic-Programming-Prolog-Max-Bramer/dp/144715486X