Hey everyone! Adatx looks like fun! I tried coming up with a simple miniKanren/cKanren program that can synthesize the program on the adatx github page:
https://github.com/webyrd/mad-at-x I just implemented a simple evaluator for expressions including +, -, integers from 0-11 (extending the domain slows down the solving in cKanren), variables, lambda expressions, and application. The advantage of this approach is that the solver can synthesize lambda expressions and applications, in addition to calls to the arithmetic functions. On the other hand, I suspect the search is slower (partly due to the higher branching factor), and handling numeric operators not supported by the finite domain solver is tricky. For those cases, adatx probably is more general. I had some trouble getting the finite domain constraints to work with the evaluator relation under core.logic. I'll have to ask David about it. Ludwik, are there other examples I should try with my implementation? Cheers, --Will On Friday, March 14, 2014 7:56:23 AM UTC-6, frye wrote: > > 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 <gro...@gmail.com<javascript:> > > 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.
