Embedding a powerful logic system inside a practical programming language like Clojure provides an environment where logic can be used seamlessly alongside your regular code, making it easy to use the right tool for the job.
The primary strength of miniKanren is the use of declarative programming to achieve almost magical ends.
To give you an idea of the leverage core.logic is giving you, imagine implementing the narrative generator in Java or Ruby. Would it still be as concise and easy to extend?
Logic programming is mind-bending. When it goes wrong, it is hard to tell why as the search going on behind the scenes can derail in subtle ways.
More than a library, miniKanren is a new language with a new programming paradigm.
Embedding a powerful logic system inside a practical programming language like Clojure provides an environment where logic can be used seamlessly alongside your regular code, making it easy to use the right tool for the job.
The primary strength of miniKanren is the use of declarative programming to achieve almost magical ends.
To give you an idea of the leverage core.logic is giving you, imagine implementing the narrative generator in Java or Ruby. Would it still be as concise and easy to extend?
Logic programming is mind-bending. When it goes wrong, it is hard to tell why as the search going on behind the scenes can derail in subtle ways.
More than a library, miniKanren is a new language with a new programming paradigm.