Списки

Использование списков

   Список – специальный вид сложного терма, состоящий из последовательности термов, заключенных в [ ] и разделенных запятыми.

domains

      list = integer* % целочисленный список

Если элементы списка имеют смешанный тип, то должно быть соответствующее описание:

domains

      element = c (char); i (integer)

      >list = element*

[c(‘a’), i(6), i(-8), c(‘X’)]

   Списки являются основной структурой программы на ТП. Для удобства обработки введены два понятия: голова (head), хвост (tail).

Основные примеры обработки списков:

Для отделения головы спсика от хвоста используется символ "|” [X|Y].

Примеры работы со списком

Сцепление двух спиcков.

concat ([ ], L, L).

concat ([H|T], L2, [H|T3]):- concat (T, L2, T3).

Добавление элемента Х к началу списка L

add (X, L, [X|L]

в конец

add_end (X, L, L1)

add_end (X, [ ], [X]).

add_end (X, [H|T], [H|T1]):- add_end (X, T, T1).

обращение списка

domains

      l =real*

predicates

      revers (l, l)

      reversl (l, l, l)

clauses

      revers (L, Lr):- reversl (L, [ ], Lr).

      reversl ([ ], Lr, Lr)./span>