Wrapping Up miniKanren
Logic programming is a strange thing. Where else can you run programs backward or create programs that achieve your goals without having any concrete steps? It takes some time getting used to, but for some kinds of problems, you’ll have a tough time writing a better or shorter program with any other tool.
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.
Strengths
The primary strength of miniKanren is the use of declarative programming to achieve almost magical ends. Goals can be reordered and programs run backward. This makes it easy to express problems ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access