News for hackers. Stuff that matters.

A comment on What Is miniKanren?. Parent comment

Re:What Is miniKanren? by will_byrd on Thursday January 02, 2025 @10:56AM (#42575503)
You might find Chris Mungall's py-typedlogic interesting:

https://py-typedlogic.github.io/

[ Parent | on HN ]
Re:What Is miniKanren? by adamgordonbell on Thursday January 02, 2025 @11:07AM (#42575630)
Thanks! And thanks for miniKanren and reasoned schemer!
[ Parent | on HN ]