Thanks for the insights and clarifications - I agree with all that completely :) I mainly responded because "Datomic ∈ Datalog" is worthy of discussion in itse

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.