Introduction to Constraint Logic Programming

on YouTube ↗01h 24m

" summary

Claims that constraint logic programming solves hard combinatorial problems with minimal code and demonstrates that concretely by using the Prolog-based ECLiPSe system, switching IC and GFD libraries, and exercising labeling/search heuristics. Demos include relational arithmetic versus is, a factorial that runs both directions, a SEND+MORE=MONEY solver, n‑queens tuned from slow to hundreds of queens with variable/value heuristics, and optimization via branch-and-bound minimize; each model runs and timings or solution counts are shown.

AI-written summary · about

" chapters (12)

1. 0:00Introduction
2. 0:35What is constraint logic programming
3. 1:24Pros of constraint logic programming
4. 3:09Cons of constraint logic programming
5. 5:10Eclipse
6. 5:44Libraries
7. 8:28Prolog
8. 16:50TPK
9. 24:14Exercise
10. 27:11New Variable
11. 38:20Search
12. 55:25Lists

" related talks

• 45mProblem Solved! Using Logic Programming to Find AnswersGavin McGimpsey · RubyConf 2016
• 41mIntroduction to Constraint ProgrammingCyril Delmas · DevFest Toulouse 2019
• 34mConstraint Logic Propagation Conflict SpreadsheetsWilliam Taysom · Strange Loop 2015
• 17mFixpoints for the Masses: Programming with First-Class Datalog ConstraintsMagnus Madsen, Ondřej Lhoták · OOPSLA 2020
• 28mOn the Expressive Power of String ConstraintsJoel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea · POPL 2023
• 41mOptimizing Relational Programs IRemy Wang · Fine-Grained Complexity, Logic, and Query Evaluation 2023
• 24mWhen Less Is More: Consequence-Finding in a Weak Theory of ArithmeticZachary Kincaid, Shaowei Zhu, Nicolas Koh · POPL 2023
• 23mFrom SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Se...Michael Greenberg, Aaron Bembenek, Stephen Chong · POPL 2023