dáp án thi giữa kỳ lập trình logic và ràng buộc

% ghép đôi

ghepdoi([],[]).
ghepdoi([X,X1|T],[[X,X1]|Y]):-ghepdoi(T,Y).

% chia đôi
chia([],[],[]).
chia([X,X1|T],[X|L1],[X1|L2]):-chia(T,L1,L2).
chiadoi([],[]).
chiadoi(X,Y):-chia(X,L1,L2),append([L1],[L2],Y).

%dịch vòng trái
quaytrai([],[]).
quaytrai([H|T],X):-append(T,[H],X).

0
×