minikanren (conda): An extensible, lightweight relational/logic programming DSL written in pure Python
Keywords: clp|constraint-logic-programming|logic-programming|minikanren|relational-programming|symbolic-computation