I want to use Clojure's Core.logic. However, I want to also understand how it works. Is there a concise explanation of it somewhere? (Like implementing a metacircular evaluator?)

Thanks!

clojure scheme logic-programming minikanren clojure-core.logic
Edit
Report