Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 157 стр.

UptoLike

157
8) Предикат SHIFT для циклического сдвига списка на один символ вправо.
9) Предикат LENGTH для определения длины списка.
Тема В- Работа с многоуровневыми списками
1) Предикат LINEAR д)ш линеаризации списков. При этом многоуровневый список (т.е. список
ссшсков всех уровней) преобразуется в одноуровневый. Пример: исходный список
[[a,b],c[e,[f,[[g,e,p],v],y]],x], результирующий список [a,b,c,e,f,g,e,v,y,x].
2) Предикат DEVLEV1 для разбивки списка на уровни,. Пример: исходный список
[а,Ь,с], результирующий список [а,[Ь,[с]]],
3) Предикат DEVLEV2 для разбивки списка на уровни. Пример: исходный список [а,Ь]
>
результирующий список [[[а],b],с].
4) Предикат DESTLEV1 для уничтожения уровней в списке. Пример; исходный список
[а,[b,[с]]], результирующий список [а,Ь,с].
5) Предикат DESTLEV2 для уничтожения уровней в списке. Пример: исходный список
[[[а],Ь],с], результирующий список [а,Ь,с].
6) Предикат DEPTH для вычисления глубины списка амой глубокой ветви). Пример:
исходный список [[a,b]c,[e,[f,[[g,e,p],v],y]],x], глубина списка равна 5.
7) Предикат DEVPAIR для разбивки списка на пары. Пример: исходный список [a,b,c,d],
результирующий список [[a,b],[c,d]].
8) Предикат FIRST для определения первого элемента списка (в учет принимаются
списки всех уровней). Пример: исходный список: [[[s,a],b],c,[e,[f
t
[[g,e,p],v]
r
y]],x]. Первый элемент:
s.
9) Предикат LENGTHFULL для определения числа неделимых элементов в
многоуровневом списке. Пример: исходный список:[[[s.a],b],c,[e,[f,[[g,e,p],v],y]],x] . Число атомов:
12.
Тема С. Операции над множествами
Множества заданы в виде списков.
1) Предикат INTERSECT для пересечения двух множеств.
2) Предикат UNION для объединения двух множеств.
3) Предикат DIFF для получения разности двух множеств.
4) Предикат SIMDIFF для получения симметрической разности двух множеств.
5) Предикат SUBSET для определения того, является ли одно множество подмножеством
другого.
6) Предикат EQU для проверки равенства двух множеств.
      8)    Предикат SHIFT для циклического сдвига списка на один символ вправо.
      9)    Предикат LENGTH для определения длины списка.
      Тема В- Работа с многоуровневыми списками
      1)   Предикат LINEAR д)ш линеаризации списков. При этом многоуровневый список (т.е. список
ссшсков    всех   уровней)    преобразуется    в   одноуровневый.      Пример:    исходный    список
[[a,b],c[e,[f,[[g,e,p],v],y]],x], результирующий список [a,b,c,e,f,g,e,v,y,x].
      2)    Предикат DEVLEV1 для разбивки списка на уровни,. Пример: исходный список
[а,Ь,с], результирующий список [а,[Ь,[с]]],
      3)    Предикат DEVLEV2 для разбивки списка на уровни. Пример: исходный список [а,Ь,с]>
результирующий список [[[а],b],с].
      4)     Предикат DESTLEV1 для уничтожения уровней в списке. Пример; исходный список
[а,[b,[с]]], результирующий список [а,Ь,с].
      5)     Предикат DESTLEV2 для уничтожения уровней в списке. Пример: исходный список
[[[а],Ь],с], результирующий список [а,Ь,с].
      6)    Предикат DEPTH для вычисления глубины списка (самой глубокой ветви). Пример:
исходный список [[a,b]c,[e,[f,[[g,e,p],v],y]],x], глубина списка равна 5.
      7)    Предикат DEVPAIR для разбивки списка на пары. Пример: исходный список [a,b,c,d],
результирующий список [[a,b],[c,d]].
      8)    Предикат FIRST для определения первого элемента списка (в учет принимаются
списки всех уровней). Пример: исходный список: [[[s,a],b],c,[e,[ft[[g,e,p],v]ry]],x]. Первый элемент:
s.
      9)    Предикат     LENGTHFULL         для    определения     числа    неделимых   элементов   в
многоуровневом списке. Пример: исходный список:[[[s.a],b],c,[e,[f,[[g,e,p],v],y]],x] . Число атомов:
12.
      Тема С. Операции над множествами
      Множества заданы в виде списков.
      1)    Предикат INTERSECT для пересечения двух множеств.
      2)    Предикат UNION для объединения двух множеств.
      3)    Предикат DIFF для получения разности двух множеств.
      4)    Предикат SIMDIFF для получения симметрической разности двух множеств.
      5)    Предикат SUBSET для определения того, является ли одно множество подмножеством
другого.
      6)    Предикат EQU для проверки равенства двух множеств.


                                                   157