Some Logic Program

weixin_30873847

于 2006-07-03 20:46:00 发布

阅读量49

点赞数

原文链接：http://www.cnblogs.com/feisimple/archive/2006/07/03/441775.html

版权

% member
member1(X, [X | Y]).
member1(X, [_ | B]) :-
member(X, B).
% append(list1, list2, result)
append1([], L2, L2).
append1([A | B], L2, [A | C]) :-
append(B, L2, C).
% revert(L1, L2)
revert(List,RevList):-
rev(List,[],RevList).
rev([H|T],S,R):-
rev(T,[H|S],R).
rev([],R,R).
perm([H|T],Perm):-
perm(T,SP),insert(H,SP,Perm).
perm([],[]).
insert(X,T,[X|T]).
insert(X,[H|T],[H|NT]):-
insert(X,T,NT).

转载于:https://www.cnblogs.com/feisimple/archive/2006/07/03/441775.html