Ivelin Pavlov

Вмъкване на елемент към началото на списък на Пролог. Върви и само с първия ред.
Вторият ред се използва за разпознаване дали елемент е вкаран в списък (като member).

insert(X,L,[X|L]).
insert(X,[Y|L1],[Y|L2]):- insert(X,L1,L2).
?- insert(z,[a,b,c,d],I).
% z,a,b,c,d

Лесно може да се преработи да вкарва член на определена позиция в списъка, или след определен член.
На определена позиция:

insert(X,1,L,[X|L]).
insert(X,N,[Y|L1],[Y|L2]):- N1 is N-1, insert(X,N1,L1,L2).
?- insert(z,3,[a,b,c,d],N),write(N).
%[a,b,z,c,d]

След определен член

insert(X,[],L,[X|L]).
insert(X,Y,[Y|L1],[Y|L2]):- insert(X,[],L1,L2).
insert(X,Z,[Y|L1],[Y|L2]):- insert(X,Z,L1,L2).
?- insert(z,b,[a,b,c,d],N),write(N).
%[a,b,z,c,d]

Взимане на Първия елемент от списък на Пролог.

head([X|_],X).
?- head([a,b,c,d], X).
% X = a 

Взимане на опашката на списък (списък без първия елемент) на Пролог.

tail([_|L],L).
?- tail( [a,b,c,d,e], X).
% X = [b, c, d, e]

Взимане на последният елемент от списък на Пролог.

last(X,[X]).
last(X,[_|L]):- last(X,L).
?-last(X,[a,b,c]).
% X = c

Намиране на елемент от списък, или съобщава дали дадем елемент принадлежи на списък на Пролог.

member(X,[X|_]).
member(X,[_|L]):- member(X,L).
?-member(e,[a,b,c,d,e]).
% Yes

Изтриване на елементи от списък на Пролог.

Изтриване на първо срещане на елемент от списък.

delete(X,[X|L],L).
delete(X,[Y|L1],[Y|L2]):- delete(X,L1,L2).

Пример със резултат

?- delete(2,[1,2,3,4],L).
% 1,3,4

Изтриване на всички срещания на елементи от списък.

deleteall(X,[],[]).
deleteall(X,[X|L],L1):- deleteall(X,L,L1).
deleteall(X,[Y|L],[Y|L1]):- Y \= X, deleteall(X,L,L1).

Пример:

?- deleteall(5,[1,5,5,5,6,7,6,5],L).
% 1,6,7,6

Един код на Prolog за нареждане на списък по големите, започвайки от най-малкото, по метода на мехурчето.

bubble(L,L1):- append(U,[X,Y|V],L),X>Y,append(U,[Y,X|V],L2),bubble(L2,L1).
bubble(L,L).
append([],L,L).
append([X|L1],L2,[X|L3]):- append(L1,L2,L3).
?-bubble([3,4,2,3,2,1,67,86],L).