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 -~----------~----~----~----~------~----~------~--~---
