Comment Comment by JohnL4 Threw me down this rabbit hole: https://en.wikipedia.org/wiki/DatalogLooks 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? parent JohnL4 4 years ago
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?