Типовые процедуры обработки списков в программах на языке Пролог

Типовые процедуры обработки списков

Типовые процедуры обработки списков не
являются стандартными предикатами системы
программирования

Предикат add

Предикат add(X,Y,Z) истинен, если список
Z получается добавлением терма Х в
начало

Декларативное описание предиката add

Декларативное описание предиката add
формулируется следующим образом:
Терм X

Предикаты revers1 и revers2.

Предикаты revers1 и revers2 являются
предикатами обращения списков и

Предикаты revers1 и revers2.

Процедура revers определяется двумя
способами:
простым обращением;
обращением с накоплением.

Предикаты revers

Предикат revers(X,Y) истинен, если список Y содержит все элементы списка

Простое обращение. Декларативное определение предика revers1

1) обращенный пустой список есть пустой
список;
2) если список

Процедура простого обращения

Простое обращение выполняется
процедурой revers1, которая использует
процедуру append и состоит

Обращение с накоплением

В процедуре revers2 введен дополнительный предикат rev с тремя

Декларативное определение предиката rev

Декларативное определение предиката rev формулируется следующим образом:
1) если первый

Декларативное определение предиката rev

2) первый аргумент⎯ непустой список [H|Хs], и его можно

Процедура revers2

Обращение списка с накоплением
выполняется процедурой revers2,
состоящей из трех предложений и
содержит

Предикат delete

Предикат delete(X,L,M) принимает значение
“истина”, если список M получается в
результате удаления

Декларативное описание предикат delete

Декларативное описание предиката next
формулируется следующим образом:
1) Если X

Декларативное описание предикат delete

3) Если X не принадлежит списку L, то предикат

Процедура delete

Процедура delete(X,Y,L) состоит из двух
правил:
delete(X,[X|B],B):⎯!.
delete(X,[Y|L],[Y|M]):⎯ delete(X,L,M).

Предикат number_list

Предикат number_list(L) определяет,
является ли список X списком числовых
термов. Схема отношения

Декларативное описание предиката number_list(L)

1) Список L включает один элемент Х. Тогда предикат

Процедура number_list

Процедура number_list(X,Y) состоит из двух
правил:
number_list([]):⎯ number(X).
number_list(X,[_|T]): ⎯ number(X), number_list(X,T).
Предикат number(X)

Предикат sumlist

Предикат sumlist(L,Sum) определяет
сумму элементов числового списка.
Схема отношения этого предиката

Декларативное описание предиката sumlist(L)

Сумма элементов пустого списка равна нулю.
Если исходный список

Процедура sumlist

Процедура sumlist(L,Sum) состоит из двух
правил:
sumlist([ ],0).
sumlist([H|T],Sum):⎯ sumlist(T,SumT),
Sum is SumT+H.

Предикат delrepeat

Предикат delrepeat (L,LS) истинен, если список получается из списка S

Предикат delrepeat

Удаление повторений элементов выполняется процедурой delrepeat с накоплением списка, состоящей

Декларативное описание предиката delrepeat

1) если первый аргумент есть пустой список, то второй

Декларативное описание предиката delrepeat

3) если первый аргумент⎯ непустой список [H|Хs], и голова

Процедура delrepeat

delrepeat(S,SF):-delrep(S,[ ],SF).
delrep([ ],S,S).
delrep([H|T],S1,SF):-member(H,T),!,delrep(T,S1,SF).
delrep([H|T],S1,SF):-append(S1,[H],S2),delrep(T,S2,SF).

Полный текст процедуры delrepeat

delrepeat(S,SF):-delrep(S,[ ],SF).
delrep([ ],S,S).
delrep([H|T],S1,SF):-member(H,T),!,
delrep(T,S1,SF).
delrep([H|T],S1,SF):-append(S1,[H],S2),
delrep(T,S2,SF).
member(X,[X|_]).
member(X,[Y|T]):-member(X,T).
append([],X,X).
append([H|T1],X,[H|T2]):-append(T1,X,T2).