1 result found Sort:

pythological
kanren pythological
18
173
other
8
An extensible, lightweight relational/logic programming DSL written in pure Python
clp minikanren logic-programming symbolic-computation relational-programming constraint-logic-programming
Created 2019-03-20
513 commits to main branch, last one about a year ago