I realized what the latter issue is: I forgot to relationalize "opposite". It turns out not to matter when you're checking for alive, but it does matter checking for dead for some reason. See the new push.
The board size limitation issue has a \very odd error message that doesn't seem to come from core.logic: CompilerException java.lang.ClassFormatError: Too many arguments in method signature in class file go/core $eval2878$fn__2881$fn__2882$_inc__2883$fn__2884$_inc__2885$fn__2890, compiling:(NO_SOURCE_PATH:1) On Oct 5, 5:15 am, David Nolen <dnolen.li...@gmail.com> wrote: > On Fri, Oct 5, 2012 at 1:53 AM, nchurch <nchubr...@gmail.com> 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 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
