There goes my job...

On Wed, Mar 12, 2014 at 8:00 PM, Timothy Washington <twash...@gmail.com>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>
>
>
> On Sun, Mar 9, 2014 at 3:13 PM, Ludwik Grodzki <grod...@gmail.com> wrote:
>
>> ... and here's an example of how it works:
>>
>> (def workings
>>  (adatx/prob-solve
>>   {
>>   :symvec        ['+ '- '* '/ 'x1 'x2]
>>   :prog-holder   '(fn [x1 x2] :adatx.prog-hold/prog)
>>   :in-out-pairs  [{:in [1 2] :out 4}
>>                   {:in [1 3] :out 5}
>>                   {:in [2 3] :out 7}
>>                   {:in [4 3] :out 11}]
>>   :sandbox :none}))
>> (adatx/get-solution workings)    ; => (fn [x1 x2] (+ x1 x1 x2))
>>
>>
>>
>>
>>
>> On Saturday, 8 March 2014 21:30:56 UTC, Ludwik Grodzki wrote:
>>>
>>> Hello Clojure Group.
>>>
>>> I've put together a little library that writes clojure code for you...
>>> given test input/output examples and a heuristic of relevant functions.
>>>
>>> https://github.com/LudoTheHUN/adatx
>>>
>>> Feedback + contributions very welcome.
>>>
>>> Regards.
>>>
>>> Ludwik.
>>>
>>>  --
>> 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.
>>
>
>  --
> 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.
>

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

Reply via email to