On Fri, Oct 5, 2012 at 1:53 AM, nchurch <[email protected]> wrote:

> Here's a Go solver----
>
> code:
> https://github.com/nchurch/go/blob/master/src/go/core.clj
>
> README:
> https://github.com/nchurch/go


Neat!


> There are some issues that I'd like to get input on.  For one thing,
> I've used mutual recursion (as the Wiki article on mutual recursion
> says, Prolog depends on mutual recursion); I don't see any
> straightforward and clean way to eliminate it (you can't just
> trampoline).  Probably because of this, you can't generate boards
> bigger than 15X15.
>

I don't think mutual recursion itself should cause a problem. core.logic
has a fancy trampoline built inside of it derived from miniKanren.

Can't say much more about the later issue w/o examining the code more
closely.

Thanks for sharing this!

David

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to