This looks a re-implementation of many of the goals of Datomic. Perhaps you
can use Datomic as a datastore, and then use Datomic's datalog, or a custom
query engine (such as core.logic
https://github.com/clojure/core.logic/blob/master/src/main/clojure/clojure/core/logic/datomic.clj)
to do your queries?

Timothy


On Mon, Aug 5, 2013 at 10:52 AM, David Nolen <dnolen.li...@gmail.com> wrote:

> Very interesting. The rel feature is really still a bit of an experimental
> thing and we'd like to replace it eventually with something less
> problematic like pldb http://github.com/threatgrid/pldb.
>
> Still, core.logic isn't really a database and your needs may be better
> served by something with different goals.
>
> David
>
>
> On Mon, Aug 5, 2013 at 12:41 PM, Mingli Yuan <mingli.y...@gmail.com>wrote:
>
>> Hi, folks,
>>
>> After one night quick work, I had gave a proof-of-concept to demonstrate
>> the feasibility that we can combine Wikidata and Clojure logic programming
>> together.
>>
>> The source code is at here:
>> https://github.com/mountain/knowledge
>>
>> An example of an entity:
>>
>> https://github.com/mountain/knowledge/blob/master/src/entities/albert_einstein.clj
>>
>> Example of types:
>> https://github.com/mountain/knowledge/blob/master/src/meta/types.clj
>>
>> Example of predicates:
>> https://github.com/mountain/knowledge/blob/master/src/meta/properties.clj
>>
>> Example of inference:
>> https://github.com/mountain/knowledge/blob/master/test/knowledge/test.clj
>>
>> Also we found it is very easy to get any other language version than
>> English.
>>
>> Since I am new to Clojure logic programming, I have questions for the way
>> I take - what will happen when we have millions of triples? Should I
>> take another approach by using some RDF store?
>>
>>    - How many memory will it cost?
>>    - How about the performance?
>>    - How about the loading process of one million clojure source file or
>>    java class file?
>>
>> Hope you can give some helpful comments. Thanks in advance.
>>
>> Regards,
>> Mingli
>>
>> --
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Clojure" group.
>> To post to this group, send email to clojure@googlegroups.com
>> Note that posts from new members are moderated - please be patient with
>> your first post.
>> To unsubscribe from this group, send email to
>> clojure+unsubscr...@googlegroups.com
>> For more options, visit this group at
>> http://groups.google.com/group/clojure?hl=en
>> ---
>> You received this message because you are subscribed to the Google Groups
>> "Clojure" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to clojure+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/groups/opt_out.
>>
>>
>>
>
>  --
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@googlegroups.com
> Note that posts from new members are moderated - please be patient with
> your first post.
> To unsubscribe from this group, send email to
> clojure+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/clojure?hl=en
> ---
> You received this message because you are subscribed to the Google Groups
> "Clojure" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to clojure+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>



-- 
“One of the main causes of the fall of the Roman Empire was that–lacking
zero–they had no way to indicate successful termination of their C
programs.”
(Robert Firth)

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to