Clojurians Log v2

@mauricio.szabo I have asked for others to chime in which could answer your questions better.

@quoll can you provide some resources to such a query language? I am very new to this field and have little context as to what you mean here.

Thanks for all the answers! I'll study a little more and try to make a proof of concept of what I am thinking :)

@quoll Do you have an example of "Triple-pattern style where clauses with projection are much better"? I'm looking at applying the Datomic Datalog dialect to clara, but definitely hitting some limitations, trying to get my head around the space of querying/logic programming in general.

Well, consider the above queries (I will change the datalog version to pure query with no rule): Pure datalog:

?- name(E, "Alice"), age(E, A).

[:find ?a
       :where
       [?e :name "Alice"]
       [?e :age ?a]

Note, when I say “triple pattern” I mean that pattern that looks like [entity attribute value] where each part of that pattern can either be an atom or a variable. This is a generalization. For datomic, it’s really a quad pattern: [entity attribute value tx] Or if you REALLY want to get into it, a 5 tuple: [entity attribute value tx assert] And then the pattern can be truncated: [entity attribute] which can be interpreted as: [entity attribute _]

“Triple patterns” are a good generalization, because it’s an abstraction that also works on other graph databases, such as OrientDB or SPARQL databases.

Great explanation, thank you!