Flix: A Meta Programming Language for Datalog.

Magnus Madsen Jonathan Starup Ondrej Lhoták

Published in: Datalog (2022)

Keyphrases

programming language
database languages
logic programming
existentially quantified
general purpose
expressive power
domain specific languages

deductive databases
object oriented
high level
query language
software engineering
programming environment

object oriented programming
specification language
strongly typed
meta reasoning
databases
denotational semantics

data abstraction
functional programming
computer programs
logic programs
database language
data model