Програма за проверка, дали елементите на даден списък образуват аритметическа прогресия на Пролог.\ aritmethmeticProgression([X,Y|[]],D):- D =:= Y-X. aritmethmeticProgression([X,Y|L],D):- D =:= Y-X, aritmethmeticProgression([Y|L],D). arithProgression([X,Y|[]]). arithProgression([X,Y|L]) :-D is Y-X, ar([Y|L],D). ?-arithProgression([1,2,3,4,5]) или по-просто aritm([X,Y]). aritm([X,Y|[Y1|S]]):-aritm([Y,Y1|S]), X-Y=:=Y-Y1. чрез сума на елементите на списък може да намерим, по даден списък от списъци от числа, дали неговите суми на списъци, […]

Предикат p(I,L1,L2) на Пролог, който по дадено естествено число I и списък от числа L1, връща в L2, списък получен от L1, след премахване на всички нечетни числа след последните I елемента на L1. Или ако I = 3, L1 = [1,2,3,4,5], L2 трябва да върне [1,2,4]. p(I,L1,L2):-reverse(L1,L3),delete(I,L3,L4),reverse(L4,L2). reverse([],[]). reverse([X|L1],L2):-reverse(L1,L3),append(L3,[X],L2). append([],L,L). append([X|L1],L2,[X|L3]):-append(L1,L2,L3). delete(0,L,L). delete(I,[X|L],[X|L2]):- I>0, […]

Сумата на елементи в списък на Пролог. sumlist([],0). sumlist([X|L],S1):-sumlist(L,S), S1 is X+S. ?-sumlist([1,5,2,5,6],S),write(S). Произведението на елементи в списък на Пролог. multiplylist([],1). multiplylist([X|L],S1):-multiplylist(L,S), S1 is X*S. ?-multiplylist([1,5,2,3],S),write(S).

Обръщане на елементите на списък в обратен ред – reverse. Конкатиниране (съединяване) на два списъка на Пролог – append reverse([],[]). reverse([X|L1],L):- reverse(L1,L2), append(L2,[X],L). append([],L,L). append([X|L1],L2,[X|L3]):- append(L1,L2,L3). % ?- append([a,b,c,d],[1,2,3],L). % L = [a,b,c,d,1,2,3]. ?-reverse([a,b,c,d,e],L2). % L = [e,d,c,b,a]

Начален (prefix) списък от елементи на списък – на Пролог prefix([],L). prefix([X|L1],[X|L2]):- prefix(L1,L2). ?- prefix([a,b,c,d,f],X). %a,b,c,d,f ?- prefix([a,b,c],[a,b,c,d,f]). %yes Списък завършващ на друг списък (suffix) suffix(L,L). suffix(L1,[_|L2]):- suffix(L1,L2). ?- suffix([c,d,f],[a,b,c,d,f]). %yes Можете да проверите дали даден списък е начален или краен на някой. sublist(L1,L2):-prefix(L3,L2),suffix(L1,L3).