Yes, Datalog is normally understood to be a syntactic subset of Prolog: https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog Therefore,

Yes, Datalog is normally understood to be a syntactic subset of Prolog: https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog Therefore, you can use every ISO conforming Prolog system to read and reason about any Datalog database. If your Prolog system supports for example SLG resolution, you will also retain the termination and completeness properties of Datalog when you interpret queries over the database. Datomic is definitely not Datalog syntax, otherwise it could – and likely would – have been called Datalog.