[rebanevapustus]

There is no such thing as "a more academic form of Datalog". There is only one Datalog.

Both Datascript and Datomic support recursion. In SICP it too talks about how rules can be defined recursively.

If there is no recursion, then it's just SQL without negation.

What makes it Datalog is the recursive part.

Plus, the "triples" part of what you call "Datalog", as it is explained on Datomic's documentation, is nothing related to Datalog at all. It's just a convenient format to ensure that all data is in a RDF-inspired format. Semantics aside, it makes it easier to build indexes and for it to be performant, compared to multi-relation unbounded-arity Datalog.