Back to the Future
summary
Logic programming returns to industry with LogiQL/LogicBlox and Google’s new Logica, claiming real production use and parallel computation out of the box. LogicBlox unifies business logic and storage so back ends write business logic + DB into one layer and swap blocks at runtime. The language supports pragmas for optimization and predicate minimization and the team builds a Scala-based application generator that glues lego-like bricks and generator produces thousands of lines, cutting delivery from months to weeks. logic as data underpins the whole pipeline.
AI-written summary · about
chapters (16)
- 0:00Start
- 2:11Logic programming ago
- 3:19Example program
- 8:04Log QL in 5 minutes
- 9:48LogiQL in 5 minutes
- 17:16SIGMOD, 2015
- 18:003-tier architecture
- 20:32Monolithic architecture
- 21:17Parallel computing
- 22:52Standard library
- 24:51Application generators
- 27:54Code duplication
- 33:01More abstraction
- 33:48DSLS
- 36:34Higher DSL example
- 38:51Model Refinery
related talks
22mCan Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)
40mProduction Prolog
57mHigh-Performance Logic Programming on Servers, Clusters, and GPUs
49mCompile-time Logic Programming in Scala: what for?
47mLogic Programming à la Carte
19mHeterogeneous Dynamic Logic: Provability Modulo Program Theories
01h 02mFour Languages from Forty Years Ago
15mFormulog: Datalog for SMT-Based Static Analysis