constraint-logic-programming topic
List
constraint-logic-programming repositories
kanren
161
Stars
17
Forks
Watchers
An extensible, lightweight relational/logic programming DSL written in pure Python
