Fork me on GitHub
#datalog
<
2020-08-05
>
whilo00:08:26

Hey, @plexus thanks for creating the channel! Is somebody aware of libraries containing datalog rules on clojars? I think most of the Datalog in the Clojure community is not shared so far, right?

Huahai00:08:31

What do you mean? All the Datalog implementation in the Clojure community, with the exception of Datomic, are open source and available on clojars.

lilactown01:08:50

I don’t know if any popular libraries with out of the box datalog queries

whilo05:08:50

@huahaiy I mean Datalog rule sets, not implementations of runtimes. Somehow the Clojure community thinks of Datalog only as a glorified SQL replacement instead of its own DSL that it is worth to share programs in. I think it would be cool if we can do that to a certain degree between implementations.

whilo05:08:50

@huahaiy I mean Datalog rule sets, not implementations of runtimes. Somehow the Clojure community thinks of Datalog only as a glorified SQL replacement instead of its own DSL that it is worth to share programs in. I think it would be cool if we can do that to a certain degree between implementations.

Huahai06:08:45

@whilo that sounds cool. What would that look like? Any examples to point to?

whilo16:08:45

@huahaiy that goes in the right direction, I did not know about it, thanks! It is more about addressing the limitations of Datomic's rule address space concept though, where you effectively have to pass everything at once, and provides some experimental reordering, which is not needed with a proper query planner. I was more thinking about creating an explicit Datalog file format and explicitly providing Datalog programs (rules) as libraries.

quoll16:08:15

At one point I did a set of rules for SKOS. They were written for the rules engine in Mulgara, but I think Naga will process them as well (Naga is a rules engine that runs over Asami or Datomic) https://code.mulgara.org/attachments/3

👍 3
quoll16:08:35

Most of that file is made of atoms that declare the properties in SKOS, but the final 7 rules are horn clauses that make it work