How is the language being presented connected to Datalog whatsoever? It uses a very alien syntax, and has no mention of Datalog's defining feature, recursion th

How is the language being presented connected to Datalog whatsoever? It uses a very alien syntax, and has no mention of Datalog's defining feature, recursion that is always guaranteed to terminate. Here's an __actual__ small (and very fast) full blown datalog engine: https://github.com/brurucy/micro-datalog https://github.com/brurucy/micro-datalog