Datalog for trees in Clojure

#1

Post by jonpither » Thu, Oct 22, 2015, 2:20 PM UTC

Datalog for trees in Clojure
blog.juxt.pro

Re: Datalog for trees in Clojure

#2

Post by klampanoskylo » Thu, Oct 22, 2015, 3:48 PM UTC

By the creator of ditaa apparently http://ditaa.sourceforge.net/

Re: Datalog for trees in Clojure

#3

Post by samuell » Thu, Oct 22, 2015, 4:15 PM UTC

Cool article! Datalog is definitely worth more attention!

Just a detail: In fairness, I think one can say that there is actually one more "implementation" of datalog for Clojure, though it is built upon the Hadoop ecosystem, Cascalog [1].

I just hope they get Apache Spark support out of the door soon, as that would make it a lot more useful for things with any kind of requirements on delay.

But most of all, I wish there was a solid open source disk-based database/data system out there that did NOT need the overhead of a Hadoop, nor Spark installation. That would be killer!

[1] http://cascalog.org

Re: Datalog for trees in Clojure

#4

Post by samuell » Thu, Oct 22, 2015, 4:24 PM UTC

samuell wrote: post #3

Cool article! Datalog is definitely worth more attention! Just a detail: In fairness, I think one can say that there is actually one more "implementation" of datalog for Clojure, though it is built upon the Hadoop ecosystem, Cascalog [1]. I just hope they get Apache Spark support out of the door soon, as that would make it a lot more useful for things with any kind of requirements on delay. But most of all, I wish th…

If anybody wonders, the no. 1 reason I find datalog so compelling, is the support for "named queries", which basically means that you can store a complex lookup as named "concept", which is then usable in other queries.

This, combined with the pattern-matching oriented syntax that leverages implicit JOINs, makes it so much more useful (it seems to me), than SQL VIEWs (which would be the SQL counterpart to datalog's named queries) will ever be (Correct me if I'm wrong!).

Re: Datalog for trees in Clojure

#5

Post by j-pb » Thu, Oct 22, 2015, 4:26 PM UTC

samuell wrote: post #3

Cool article! Datalog is definitely worth more attention! Just a detail: In fairness, I think one can say that there is actually one more "implementation" of datalog for Clojure, though it is built upon the Hadoop ecosystem, Cascalog [1]. I just hope they get Apache Spark support out of the door soon, as that would make it a lot more useful for things with any kind of requirements on delay. But most of all, I wish th…

Cascalog isn't really datalog.

It is a datalog like fragment without recursion but with added negation. Which makes it more like a pretty syntax for conjunctive queries with negation and thus equivalent in power to SQL.

The tree example of the article would thus not be possible in cascalog.

Re: Datalog for trees in Clojure

#6

Post by samuell » Thu, Oct 22, 2015, 4:35 PM UTC

j-pb wrote: post #5

samuell wrote: post #3

Cool article! Datalog is definitely worth more attention! Just a detail: In fairness, I think one can say that there is actually one more "implementation" of datalog for Clojure, though it is built upon the Hadoop ecosystem, Cascalog [1]. I just hope they get Apache Spark support out of the door soon, as that would make it a lot more useful for things with any kind of requirements on delay. But most of all, I wish th…

Cascalog isn't really datalog. It is a datalog like fragment without recursion but with added negation. Which makes it more like a pretty syntax for conjunctive queries with negation and thus equivalent in power to SQL. The tree example of the article would thus not be possible in cascalog.

IC, many thanks for the clarification!

Re: Datalog for trees in Clojure

#7

Post by andrewchambers » Thu, Oct 22, 2015, 11:01 PM UTC

I often wondered how you could use datalog to do tree matching in compiler backends, this is cool.