Day 1: Unified Theories of Code
Three days is all we have to get you using logic productively, but because core.logic is embedded in Clojure, the more familiar functional programming is always nearby to help.
On the first day we’ll learn about unification and the basic logic operations. We’ll build a database of facts and see how core.logic can reason about them. Finally we’ll take a peek at conditionals in logic.
Day 2 will add some pattern matching and other macro sugar to the previous day’s topics. We’ll see how to unify and work with maps as well.
Finally, on the last day we’ll wrap up by learning about finite domains. By then you’ll be ready for some more complex examples too.
We’ll move fast, but by the end you should be able to explore ...