November 2014
Intermediate to advanced
320 pages
7h 8m
English
The implementation of miniKanren appears in an amazing book called The Reasoned Schemer [FBK05] and is only two printed pages. That’s impressively concise considering what it is capable of. Core.logic’s implementation is larger due to its focus on high performance and additional features that help leverage its host language, Clojure.
Those extra pages of core.logic’s code are not wasted. Today we’ll dig into the ways in which mixing Clojure and logic programming are mutually beneficial. You may feel like a muggle instead of a wizard still, but stick with it and soon you’ll be mixing your own amazing potions.
A common feature of functional programming languages is pattern ...
Read now
Unlock full access