3 ms·
Those clojure implementations are not datalog. They are an attempt to get datalog-like functionality in a lisp syntax. At best they translate a subset of datalo
by darksaints 6y ago
Those clojure implementations are not datalog. They are an attempt to get datalog-like functionality in a lisp syntax. At best they translate a subset of datalog concepts into a language that is more general purpose in nature.
- lilactown 6y agoIs 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]
- dgb23 6y agoI might not be familiar enough to understand what you mean with „subset“. Care to elaborate?