By his telling, Chinese bureaucrats buried the knowledge of large fleets because it was a more expensive way to project power than simply going over land.

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?

Flix is a regular programming language, and supports datalog as a DSL basically, supported by the compiler and type system.

I used the swagger interface a few months ago to download my resting heart rate over a three-year period, and it was interesting.