On Fri, Aug 5, 2011 at 8:29 AM, Meikel Brandmeyer (kotarak) <m...@kotka.de>wrote:
> Hi, > > Am Freitag, 5. August 2011 14:06:58 UTC+2 schrieb David Nolen: > > > > Nope there's a not in the source to switch to refs and transactions. > > Woops. Indeed. I missed the comment. > > > >> And a last question: Is this something like (or developed to or help > >> to move) contrib.datalog? > > > > As far as I can tell core.logic can do almost everything > > contrib.datalog does. The main missing piece is stratified negation. > > I think for my use case of core.logic might already be sufficient. I work > with subcomponents which might be used various products. We get only these > final products back. And it is tedious to get the chain down from the final > product number to the subcomponent for various reasons which start with > sloppy user input and do not end with SAP. > > I think core.logic would really help me here. > > As for the concurrency story: I would read in facts at the program start. > But after that they'd remain static. So no issue here... > > Thanks for your awesome work on core.logic! > > > Meikel > Please open up issues as you encounter them. The the defrel/fact/facts features are of my own devising and haven't seen as much testing as the core miniKanren bits. I'm sure there are a few bugs and some simple enhancements that can make this use case more pleasant. David -- 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
