文件名称：microkanren-prolog:微看人的Prolog实现
文件大小：3KB
文件格式：ZIP
更新时间：2024-07-13 11:57:38
Prolog
描述 microKanren 的 Prolog 实现，如 Jason Hemann 和 Daniel P. Friedman 在μKanren: A Minimal Functional Core for Relational Programming 中所述。 例子 % swipl -s microkanren.pl ?- [examples]. ?- empty_state(S0), call_fresh(X,fives_and_sixes(X),S0,[A,B,C|_]). A = C , C = state([var( 1 )- 5 ], 2 ), B = state([var( 1 )- 6 ], 2 ) .
【文件预览】：
microkanren-prolog-master
----microkanren.pl(2KB)
----LICENSE(1KB)
----README.md(441B)
----edcg.pl(2KB)
----examples.pl(267B)