7得票3回答
Prolog差异列表

考虑以下两个程序,一个使用差异列表,另一个则没有: reverse1(List1,R) :- rev1(List1, R-[]). rev1([], A-A). rev1([H|T], C-A) :-rev1(T, C - [H|A]). reverse2(List1,R) :- rev2...