Stratified negation is working and in trunk. I have some cool ideas of a simple, but powerful, way to implement evaluable predicates. They'll likely make it in by midweek.
The the hard part (magic sets) begins. On Feb 8, 11:43 am, Jeffrey Straszheim <straszheimjeff...@gmail.com> wrote: > I now have recursive queries working. My next 3 milestones are stratified > negation, evaluable predicates, and then some version of magic sets > optimization. But now, as long as your queries are non-negated it is > working. > > http://code.google.com/p/clojure-datalog/ --~--~---------~--~----~------------~-------~--~----~ 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 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 -~----------~----~----~----~------~----~------~--~---
