4 ms·
Is the definition of datalog tied to the syntax?
by lilactown 6y ago
Is the definition of datalog tied to the syntax?
- triska 6y agoYes, 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.
- deleted 6y ago[deleted]