http://github.com/clojure/core.logic/commit/ef437d676e72dd9a30e60b31d8ee4a1dccbfdcef
Finally tabled goals are reset upon every run! The old behavior is no longer supported - I'm not even sure that behavior was ever the true intent of the original miniKanren tabling design. Should the old behavior return it will need to come after an overhaul of the `defrel` related features. On Fri, Oct 19, 2012 at 11:47 AM, Coen De Roover <cdero...@vub.ac.be> wrote: > > On 17 Oct 2012, at 19:31, David Nolen <dnolen.li...@gmail.com> wrote: > > On Mon, Oct 8, 2012 at 10:00 AM, Reinout Stevens <reste...@vub.ac.be>wrote: > >> Another question: is it possible to manually reset the contents of the >> tables? >> >> >> Thanks a lot >> >> >> Reinout >> > > After some more thinking, I agree that the current behavior is not only > counter intuitive, but simply awful :) > > http://dev.clojure.org/jira/browse/LOGIC-59 > > I'd like to address this issue before taking 0.8.0 out of beta. > > David > > > > Hi David, > > What are your plans about the tables? > I would side with the title of the issue rather than its description :) > > At least for Ekeko, it does not make sense to keep the tables in between > runs as the Eclipse workspace that is being queried changes continuously. > The same is probably true for all applications that query an external data > structure. The downside of volatile tables is that applications with a more > static "fact base" incur an overhead. > A compromise might be to provide hooks through which the tables can be > reset. In general, the ideal solution is probably application-specfic but > it never hurts to err on the safe side :) > > Coen > > -- > 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 > Note that posts from new members are moderated - please be patient with > your first post. > 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 > -- 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 Note that posts from new members are moderated - please be patient with your first post. 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
