> I guess Flix is Turing-complete while Datalog is not? Flix is a regular programming language, and supports datalog as a DSL basically, supported by the comp

> I guess Flix is Turing-complete while Datalog is not? Flix is a regular programming language, and supports datalog as a DSL basically, supported by the compiler and type system.