Constraint Logic Propagation Conflict Spreadsheets
summary
A prototype live coding system combines constraint logic (Prolog‑style relations and aggregators) with spreadsheet‑like views so tables become propagation networks; facts can be locally overridden for speculative what‑ifs, provenance traces conflicts, and aggregators produce linear equations (the demo forms six equations with six unknowns and yields intervals not a unique solution). The UI is a text‑editor front end (Atom), it shows intervals of intervals and conflict markers, and the demo works but is experimental.
AI-written summary · about
chapters (11)
- 0:00Constraint logic spreadsheets
- 1:29Spreadsheets to logic programming
- 4:15Asserting facts and conflicts
- 7:45Traffic relations with logic
- 10:11Propagation networks and bounds
- 13:23Scenarios with parameterized models
- 16:56Time and reactivity in interfaces
- 21:30Mathematical specs and languages
- 23:56Conflict as a construct
- 25:02Future reactive tools features
- 25:44Q&A
related talks
01h 24mIntroduction to Constraint Logic Programming
45mProblem Solved! Using Logic Programming to Find Answers
48mSmart Spreadsheets
39mSpreadsheets for developers
29mScalable Spreadsheet-driven End-User Applications with Incremental Computation
18mDiagramming Program Values by Spatial Refinement
45mLIVE 2023 Closing
44mSpreadsheets are Code