microKanren implementation in Shen

[Bruno Deferrari]

Just found this when checking the many implementations if miniKanren:

https://github.com/jasonhemann/microKanren-shen

For those who haven't heard of it before, miniKanren is a small
embedded logic programming language that has been implemented in a
wide range of languages:

http://minikanren.org

--
BD

[Mark Tarver]

It's actually written - by hand - in a polyglot KLambda.

https://github.com/jasonhemann/microKanren-shen/blob/master/microKanren.shen

Mark

[Mark Tarver]

But fair enough - everybody is free to write in the way they want - I guess this was influenced by experience with Scheme.  

Mark

[Mark Thom]

I'm working on a typed minikanren in Shen right now, adapting from Will Byrd's Scheme sources. So far most of the test suite (from the excellent book The Reasoned Schemer) checks out.

The next step is to implement the Shen type checker in shen-minikanren, which itself will be typed, and from there, on to typing the rest of the Shen sources.

[Jason Hemann]

Mark,

Very cool! Can't wait to see it. Ours was *definitely* influenced by prior Scheming. 

JBH

[Mark Thom]

Jason,

Thanks for the kind words, I hope it's not too disappointing! Very little has changed from the Scheme version, and it doesn't pass the full test suite yet.

It's here: https://github.com/mthom/shen-minikanren