Well, Datalog does give you guaranteed termination, so there is that, although its bottom-up strategy is A LOT harder to implement (I'm now trolling trough about a billion journal articles on "magic sets" and so on to try to fix this).
I expect to provide full-on evaluable predicates, which I believe are outside of the original Datalog scope, but I will still require the "safe query" rules for those. On Feb 4, 12:41 pm, John Fries <john.a.fr...@gmail.com> wrote: > AFAICT, Datalog only supports the closed-world assumption. Does > anyone prefer an open-world assumption reasoner? In my opinion, they > are significantly more powerful. > > On Feb 4, 6:16 am, Timothy Pratley <timothyprat...@gmail.com> wrote: > > > > providing relations from clojure-sets and sql-queries. > > > Wow - this is really neat Erik - thanks for showing --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
