Лекция 4. Списки в Прологе

Определение

Синтаксис списка

[] /* пустой список (длины 0) */
[элемент] /* список

Длина списка

length([], 0) .
length([_|Y], N) :- length(Y, N1), N is

Принадлежность списку

member(A, [A|_]).
member(A, [_|Z]) :- member(A, Z).

Конкатенация списков

append([], X, X).
append([A|X], Y, [A|Z]) :- append(X,Y,Z).

Реализация принадлежности списка через

Примеры использования

Задание 1: Определить следующего за Ивановым ученика
append(_,[Ivanov,X|_],L).

Задание 2: Отделить

Удаление из списка

remove(X,[X|T],T).
remove(X,[Y|T],[Y|T1]):-remove(X,T,T1).

Перестановки списка

permute([],[]).
permute(L,[X|T]):-remove(X,L,R),permute(R,T).

?-permute([a,b,c],L),write(L).

[a,b,c]
[a,c,b]
[b,a,c]
[b,c,a]
[c,a,b]
[c,b,a]

Задача *

Имеются возраста 3 подруг Иры, Маши, Саши: 10, 13, 15

Предикат поиска всех решений

bagof(X,f(X),L), - определяет список термов L ,

Бинарные деревья

bt(LD,X,RD).
Лист: bt(nil,c,nil)

bt(bt(nil,1,bt(bt(nil,2,nil),3,bt(nil,5,nil))),7,nil)

Создание сортирующего дерева

Включение по возрастанию:
insert (nil,D,bt(nil,D,nil)).
insert (bt(LT,K,RT),X,bt(Ltnew,K,RT) ):-Xinsert (bt(LT,K,RT),X,bt(LT,K,Rtnew) ):-X>K,insert(RT,X,Rtnew).
Cписок в