I see nothing in his code or documentation for handling negation or stratification. Also, it appears to be a top down evaluator, and I don't see any fixed-point or other recursion handling. I *suspect* this does not guarantee termination over arbitrary safe rules. It is not real Datalog.
On Wed, Feb 18, 2009 at 12:42 PM, Telman Yusupov <use...@yusupov.com> wrote: > > Could this be of any help for your development? There is now a version > of Datalog for PLT Scheme: > > Software: > > http://planet.plt-scheme.org/display.ss?package=datalog.plt&owner=jaymccarthy > > Documentation: > > http://planet.plt-scheme.org/package-source/jaymccarthy/datalog.plt/1/0/planet-docs/datalog/index.html > > > > > --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
