On Fri, Aug 5, 2011 at 2:19 AM, Meikel Brandmeyer (kotarak)
<m...@kotka.de>wrote:
> I agree. Clojure does a lot to separate such concerns. facts modifies two
> atoms. Is this save in all cases?
>
Nope there's a not in the source to switch to refs and transactions.
> Another superficial question: Should facts also support maps?
>
They probably should. The tuple-centric interaction at the moment is a
result of miniKanren's design.
> (facts notes
> [{:id 1 :text "My cool widget" :category 1}
> {:id 2 :text "My cool Clojure project" :category 1}
> {:id 3 :text "Walk the dog" :category 2}])
>
Yes this would be much friendlier.
> And a last question: Is this something like (or developed to or help to
> move) contrib.datalog?
>
> Sincerely
> Meikel
>
As far as I can tell core.logic can do almost everything contrib.datalog
does. The main missing piece is stratified negation.
David
--
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
