microkanren-prolog:微看人的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 ) .