Introduction to Logic Programming with Clojure - Ambrose Bonnaire-Sergeant