microKanren

python implementation of µKanren

Short example

from microkanren import var

x = var('x')
q = var('q')
body = (x == q) & (x == 3)

for solution in body.run():
    print(solution[q])