Right. Yes, it looks very interesting, and I need to research it too. Well I'm certainly keen on hearing about your results.
Tim Washington Interruptsoftware.com <http://interruptsoftware.com> On Fri, Mar 14, 2014 at 7:13 AM, Ludwik Grodzki <grod...@gmail.com> wrote: > Tim. > > Thank you for the William Byrd video link, more research for me to follow > up on. > I have not seen core.logic examples that would suggest I could do the > program search in clojure's program space vs in the MiniKanren program > space. I need to look at core.logic more closely. That and core.typed. > > > > On Thursday, 13 March 2014 03:00:07 UTC, frye wrote: > >> This looks interesting. I was hammocking a solution that could use that. >> But on Infoq, I recently >> watched<http://www.infoq.com/interviews/byrd-relational-programming-minikanren>William >> Byrd, describing just this feature in MiniKanren. >> >> As such, I expect to see this feature will be in core.logic. Did you >> explore that path? Was there something missing that prompted Adatx ? >> >> Many thanks. >> >> >> Tim Washington >> Interruptsoftware.com <http://interruptsoftware.com> >> >> -- 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 unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
