David Nolan has a very nice introduction with examples using Clojure as the base language: https://github.com/swannodette/logic-tutorial https://github.com/swan

David Nolan has a very nice introduction with examples using Clojure as the base language: https://github.com/swannodette/logic-tutorial https://github.com/swannodette/logic-tutorial.