文件名称：microKanren:µKanren的python实现
文件大小：4KB
文件格式：ZIP
更新时间：2024-05-22 18:07:36
Python
微型看门人 µKanren的python实现 简短的例子 from microkanren import var x = var ( 'x' ) q = var ( 'q' ) body = ( x == q ) & ( x == 3 ) for solution in body . run (): print ( solution [ q ])
【文件预览】：
microKanren-master
----example.py(853B)
----microkanren.py(5KB)
----LICENSE(1KB)
----.gitignore(1KB)
----README.md(218B)