By the way, if anyone on this list has experience implementing bottom-up optimizations for logic programs, particularly from the magic set family, and is willing to assist, please contact me.
On Sun, Feb 8, 2009 at 7:47 PM, Jeffrey Straszheim < [email protected]> wrote: > > 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 <[email protected]> > 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 [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
