WingNews logo WingNews
top | item 31737715

(no title)

JohnL4 | 3 years ago

Threw me down this rabbit hole: https://en.wikipedia.org/wiki/Datalog

Looks like Flix is in a galaxy of languages implementing Datalog, a variant of (or somehow related to) Prolog. I guess Flix is Turing-complete while Datalog is not?

discuss

order

dunefox|3 years ago

> 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.