I haven't used any of the implementations. Having looked at them, however, it seems Adderall is probably closest to the miniKanren in The Reasoned Schemer. Adderall is implemented on Hy, so it arguably isn't a "pure" Python implementation.
pythological and LogPy also look relatively mature, are are perhaps more "Pythony" than Adderall. LogPy looks a little more like core.logic than miniKanren, which might fit your needs better. Cheers, --Will On Thu, Nov 27, 2014 at 6:59 PM, Norman Richards <[email protected]> wrote: > I'm running out of groups locally to give core.logic presentations to. I'm > thinking about branching out to the local Ruby and Python groups. The Ruby > landscape appears pretty thin, but there are lots of Python options. > > Does anyone have any hands on experience with any of the Python options? Is > there a clear winner? > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
