I was replying especially to the "easily query fact databases " and less about the general post about ACE. I could imagine though that you could take ACE synta

I was replying especially to the "easily query fact databases " and less about the general post about ACE. I could imagine though that you could take ACE syntax and transform it into Datalog/Datomic queries quite easily.