Guaranteed-termination is very desirable. However, you can have guaranteed termination with an open-world assumption just as well. And I think an open-world assumption does a better job of mimicking human reasoning.
On Wed, Feb 4, 2009 at 2:16 PM, Jeffrey Straszheim < straszheimjeff...@gmail.com> wrote: > > 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 -~----------~----~----~----~------~----~------~--~---
