Production Prolog
summary
Prolog powers a production system at PriceCharting for 18 months and delivers concrete wins: the execution model is unification plus backtracking, a reversible debugger lets live edits keep stack context, packs like SWI-Prolog and libraries Funk, Bencode and Library Mavis supply tooling and runtime checks, constraint library Julian solves date constraints, and library spawn makes independent calls run concurrently (demo drops wall time from 4 seconds to 2). Deployments use save states to bundle compiled images for predictable startup.
AI-written summary · about
chapters (16)
- 0:00Start
- 1:23Ridiculously simple
- 12:42Demo: debugger and backtracking
- 15:34Mercury: bisecting debugger
- 16:36Code is data therefore tools
- 19:43optional type declarations
- 21:31Reversible predicates
- 22:34coroutines and laziness
- 22:59Constraint Logic Programming
- 26:35Concurrency
- 30:03Deploying Saved States
- 33:16syntax vs git
- 33:57small ecosystem
- 34:53learning curve
- 37:22failure is hard to debug
- 39:07occasional performance issues
related talks
34mA Taste of Prolog
22mCan Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)
46mWhat is PL Research?
41mLiving inside a Theorem Proving Universe
42mBack to the Future
31mDesign Datalog Templates for Synthesizing Bidirectional Programs from Tabular E...
17mIntroduction of PROLEG (PROlog-based LEGal reasoning support system)
45mLogic Meta Programming for Functional Languages