From Datalog to flix: a declarative language for fixed points on lattices.
Magnus MadsenMing-Ho YeeOndrej LhotákPublished in: PLDI (2016)
Keyphrases
- declarative language
- fixed point
- deductive databases
- integrity constraints
- logic programming
- query evaluation
- sufficient conditions
- linear logic
- dynamical systems
- approximate value iteration
- belief propagation
- stationary points
- temporal difference learning
- dynamic programming
- database
- maximum likelihood
- concept lattice
- free energy
- programming language
- higher order
- query language