3 ms·
Threw me down this rabbit hole: https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog Looks like Flix is in a galaxy of languages impleme
by JohnL4 4y ago
Threw me down this rabbit hole: https://en.wikipedia.org/wiki/Datalog 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?
- dunefox 4y 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.