17 ms·
There is a subset of Prolog called Datalog, explicitly designed for use in databases. Datalog queries are guaranteed to terminate, and unlike Prolog it is fully
by FreeFull 7y ago
There is a subset of Prolog called Datalog, explicitly designed for use in databases. Datalog queries are guaranteed to terminate, and unlike Prolog it is fully declarative (order of declarations doesn't matter).
- slifin 7y agoDatalog is implemented in many Clojure(Script) databases if you'd like to try it out, Datahike is my favourite for dev/learning use but Crux, Datomic, Datascript and others exist