3 ms·
For those interested in Datalog: In practice it is used in the Clojure community as a query language for both databases and for in-memory data structures. Dat
by dgb23 6y ago
For those interested in Datalog:
In practice it is used in the Clojure community as a query language for both databases and for in-memory data structures.
Datomic, datascript, datahike are examples.
Also it is used in research, including parsing (programming languages). Someone more knowledgeable might add to this.
- darksaints 6y agoThose 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?