https://github.com/pythological/kanren

An extensible, lightweight relational/logic programming DSL written in pure Python

clp constraint-logic-programming logic-programming minikanren relational-programming symbolic-computation

Last synced: 12 Sep 2025