Bloom Language

Interesting language (temporarily delivered as DSL for Ruby) but the last commit is dated 2017-11-22.

See also datafun which takes datalog and expands it to generic join semilattices and uses type theory to maintain the monotonicity invariant.

The disorderly programming reminds me of verilog.