[will_byrd]

You might find Chris Mungall's py-typedlogic interesting:

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

[adamgordonbell]

Thanks! And thanks for miniKanren and reasoned schemer!