Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a live coding system that bridges constraint logic programming with data-centric reactivity in this 34-minute conference talk from Strange Loop. Dive into how relations are treated as tables and modules are structured as sheets of tables grouped by columns. Learn about speculative what-if analysis through local fact overrides. Discover how facts can be associated with values and constraints, and how aggregation operators like sums specify values by folding over unifying substitutions. Understand the process of constraint propagation among related facts and how it limits satisfiable domains. Examine the role of provenance tracking in conflict maintenance and resolution when domains become empty. Gain insights from William Taysom, a senior software engineer at Power Auctions with experience in developing combinatorial pricing solvers for spectrum license allocation, and his background in philosophy and programming language research.
