Thanks for the insights and clarifications - I agree with all that completely :)

I mainly responded because "Datomic ∈ Datalog" is worthy of discussion in itself ...but I now realise this is probably the wrong subthread for that.