Introduction of an algebraic modeling language in Datalog for mixed-integer
linear optimization models

Conrado Borraz-Sanchez, Diego Klabjan, Emir Pasalic, Molham Aref. 2018.

In Declarative Logic Programming: Theory, Systems, and Applications.

Datalog is a deductive language tailored for easy database access. We introduce
an algebraic modeling language in Datalog for mixed-integer linear optimization
models. By using this language, data can be easily queried from a database by
means of Datalog and combined with models to produce problem instances readily
available to solvers, providing an advantage over conventional optimization
modeling languages that rely on reading data via plug-in tools or importing data
from external sources via standard files.

Read the PDF:
Algebraic Modelling in Datalog