Problem Solved! Using Logic Programming to Find Answers

on YouTube ↗45m

" summary

Logic programming claims to let a program declare relations and let the engine infer missing values; the demo shows Ruby options (miniKanren/kanren gems, Prolog bindings) and a homebrew Russell prototype that takes Sudoku and n‑Queens as constraints and finds solutions instead of hand‑coding search. Under the hood is constraint propagation plus unification substitution list (a hash of variable bindings). Complexity still explodes (rows ≈ 9! choices) but the prototype solver does produce correct Sudoku solutions.

AI-written summary · about

" chapters (24)

1. 0:00Intro
2. 1:22Law School Admissions Test
3. 2:07Bridge
4. 3:11Programming
5. 4:11Creative Machines
6. 6:03Atbash Cipher
7. 6:54Function Chaining
8. 8:07Hiding Process
9. 10:40Functional thinking
10. 10:51Relational thinking
11. 12:35n Queens
12. 16:06Brute Force
13. 16:44Constraint Procedure
14. 20:24Declarative Sudoku
15. 22:18Sudoku - Core
16. 23:07Functional Completeness
17. 24:05has_unique_contents(collection)
18. 27:33Substitution List
19. 28:26Unification - the algorithm
20. 29:34Constraint Propagation in Ruby
21. 30:36Unification in Ruby
22. 32:56Disjunction
23. 40:02Expert Systems
24. 41:03Music Exercises

" related talks

• 01h 24mIntroduction to Constraint Logic ProgrammingSergii Dymchenko · LambdaConf 2015
• 34mConstraint Logic Propagation Conflict SpreadsheetsWilliam Taysom · Strange Loop 2015
• 41mIntroduction to Constraint ProgrammingCyril Delmas · DevFest Toulouse 2019
• 43m4 Programming Paradigms in 45 MinutesAja Hammerly · RubyConf 2017
• 23mFrom SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Se...Michael Greenberg, Aaron Bembenek, Stephen Chong · POPL 2023
• 41mOptimizing Relational Programs IRemy Wang · Fine-Grained Complexity, Logic, and Query Evaluation 2023
• 41m4 Programming Paradigms in 45 minutesAja Hammerly · RubyHACK 2018
• 13mGeocode/RAndreas Erik Johan Launila · RubyConf 2007