Introduction to Logic Programming with Clojure

on YouTube ↗38m

" summary

Hands-on introduction to Clojure's logic engine core.logic showing how relations use backtracking, substitutions and unification (the run/fresh/unify primitives) to generate zero or more answers. Builds a Peano-style natural number generator that yields six values when queried and a small simply-typed lambda calculus type-determiner that can produce four distinct expressions of type integer; demonstrates a cheeky bug where an environment entry is returned as a valid solution. Works live and explains why search strategy and choice points matter.

AI-written summary · about

" chapters (22)

1. 0:00Intro
2. 2:02Introduction to Logic Programming
3. 2:48Pure Functions
4. 4:14Relations
5. 5:49Converting a Function to a Relation
6. 9:12Logic Language Implementation
7. 9:38Execution Strategy - Branches
8. 10:20Execution Strategy - Failure
9. 11:00Execution Strategy - Leaf Nodes
10. 11:37Encapsulated Search
11. 13:13Functional Approach
12. 16:17Fundamental Goals
13. 17:47Unification
14. 18:58Initialising Logic Variables
15. 19:56Choice points
16. 22:54Relational Arithmetic
17. 24:45Numbers
18. 28:43Tracing Execution
19. 30:48Type Checker..
20. 32:08Type Inferencer...
21. 33:09Code Generator..
22. 35:51Resources

" related talks

• 41mChallenges for Logic ProgrammingSteve Miner · Clojure/conj 2012
• 39mFrom Greek to Clojure!Nada Amin, William E. Byrd · Clojure/conj 2013
• 31mDon't Stop NowJames Cash · Clojure/north 2020
• 01h 02mSolving Problems the Clojure WayRafal Dittwald · Clojure/north 2019
• 40mFun with Functional Programming in ClojureJohn Stevenson · Codemotion Rome 2016
• 38mFun with Functional Programming in ClojureJohn Stevenson · Codemotion Amsterdam 2016
• 49mA whirlwind tour of functional programming in ClojureJacek Laskowski · JavaDay Riga 2012
• 34mIntro to Probabilistic Programming and Clojure’s AnglicanNils Blum-Oeste · EuroClojure 2017