On Wed, May 4, 2011 at 11:11 AM, David Nolen wrote:
> On Wed, May 4, 2011 at 10:37 AM, Frantisek Sodomka wrote:
> Mercury is an amazing project. In fact the original miniKanren (on which
> core.logic is based) designers were well aware of it and even based their
> soft-cut and committed choice no
On Wed, May 4, 2011 at 10:37 AM, Frantisek Sodomka wrote:
> Hello David,
> thanks for your work. It is very interesting addition.
>
> One thing that came to my mind, is a language Mercury:
> http://en.wikipedia.org/wiki/Mercury_(programming_language)
> http://www.mercury.csse.unimelb.edu.au/
>
>
M
Hello David,
thanks for your work. It is very interesting addition.
One thing that came to my mind, is a language Mercury:
http://en.wikipedia.org/wiki/Mercury_(programming_language)
http://www.mercury.csse.unimelb.edu.au/
"Mercury is a new logic/functional programming language, which combines th
On Thu, Apr 28, 2011 at 3:05 PM, Nick Zbinden wrote:
> Hallo David,
>
> Very cool that this is moving to contrib.
>
> I saw that you gave a presentation at NYC Clojure User Groupe. Was
> that tapped? If not I think it would be very cool if you could do a
> screencast with simular content. The vid
Hallo David,
Very cool that this is moving to contrib.
I saw that you gave a presentation at NYC Clojure User Groupe. Was
that tapped? If not I think it would be very cool if you could do a
screencast with simular content. The videos of rich showing of clojure
a reason why some of use are here (i
This is really exciting! Well done!
Looking forward to playing around with this in its new home.
Ambrose
On Thu, Apr 28, 2011 at 11:59 PM, David Nolen wrote:
> Logos has been accepted into Clojure contrib:
> https://github.com/clojure/core.logic.
>
> There's a considerable amount of work still
This is quality work David, that I feel opens up Clojure to even more
exciting domains.
I'd love to get involved in helping your second goal. As ideas and
projects come up, please advertise them on the list or email me
directly.
Paul
On Apr 28, 8:59 am, David Nolen wrote:
> Logos has been acc
Logos has been accepted into Clojure contrib:
https://github.com/clojure/core.logic.
There's a considerable amount of work still to do but I'm excited to see how
the Clojure community might take advantage of a logic programming library.
Two things I'd like to see:
1) Make it faster (it's pretty d
