Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества

Нажмите для полного просмотра!

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №2

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №3

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №4

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №5

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №6

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №7

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №8

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №9

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №10

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №11

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №12

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №13

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №14

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №15

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №16

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №17

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №18

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №19

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №20

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №21

Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества, слайд №22

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Язык SWI Prolog. Обработка списков в программах на языке Пролог. Множества. Доклад-сообщение содержит 22 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Язык SWI Prolog Обработка списков в программах на языке Пролог. Множества.

Слайд 2

Описание слайда:

Определение понятия множества Мно́жество — один из ключевых объектов математики, в частности, теории множеств. «Под множеством мы понимаем объединение в одно целое определенных, вполне различимых объектов нашей интуиции или нашей мысли» (Георг Кантор).

Слайд 3

Описание слайда:

Операции над множествами Основными операциями над множествами являются: объединение: пересечение: разность: определение подмножества: декартово произведение:

Слайд 4

Описание слайда:

Представление множеств в в виде списков Списки  структуры данных, с помощью которых можно представлять множества и графы в программах на языке Пролог. Множества отличаются от списков тем, что в списках могут быть повторяющиеся элементы, а во множествах  нет. С другой стороны, в списках порядок следования элементов имеет значения, а множества могут быть неупорядоченными.

Слайд 5

Описание слайда:

Предикат unionset Предикат unionset определяет операцию объединения двух множеств. Объединением двух множеств X и Y является множество Z, состоящее из элементов, которые принадлежат или множеству X, или множеству Y, или обоим множествам одновременно. Предикат unionset(X,Y,Z) истинен, если множество Z является объединением множеств X и Y. Схема отношения этого предиката имеет вид: unionset(,,).

Слайд 6

Описание слайда:

Декларативное определение предиката unionset Декларативное описание предиката unionset(X,Y,Z)формулируется следующим образом: Объединение пустого множества с непустым множеством Х есть множество Х. Список, определяющий первое множество Х можно разделить на голову Н и хвост Xs. Если голова первого списка Н принадлежит второму списку Y, то рекурсивно вызывается процедура unionset с аргументами Xs и Y. При этом терм H в результирующий список не помещается. Список, определяющий первое множество Х можно разделить на голову Н и хвост Xs. Если голова первого списка Н не принадлежит второму списку Y, то рекурсивно вызывается процедура unionset с аргументами Xs и Y. При этом терм H помещается в результирующий список.

Слайд 7

Описание слайда:

Правило unionset Процедура unuonset(X,Y) состоит из трех правил: unionset([],X,X). unionset([H|Xs],Y,Z):-member(H,Y),!,unionset(Xs,Y,Z). unionset([H|Xs],Y,[H|Z]):-unionset(Xs,Y,Z).

Слайд 8

Описание слайда:

Предикат interset Предикат interset определяет операцию пересечения двух множеств. Пересечением двух множеств X и Y является множество Z, состоящее из элементов, которые принадлежат и множеству X и множеству Y одновременно. Предикат interset (X,Y,Z) истинен, если множество Z является пересечением множеств X и Y. Схема отношения этого предиката имеет вид: interset(,,).

Слайд 9

Описание слайда:

Декларативное определение предиката interset Декларативное описание предиката interset(X,Y,Z)формулируется следующим образом: Пересечение пустого множества с непустым множеством Х есть пустое множество. Список, определяющий первое множество Х, можно разделить на голову Н и хвост Xs. Если голова первого списка Н принадлежит второму списку Y, то рекурсивно вызывается процедура interset с аргументами Xs и Y. При этом терм H помещается в результирующий список. Список, определяющий первое множество Х, можно разделить на голову Н и хвост Xs. Если голова первого списка Н не принадлежит второму списку Y, то рекурсивно вызывается процедура interset с аргументами Xs и Y. При этом терм H в результирующий список не помещается.

Слайд 10

Описание слайда:

Процедура interset interset([],X,[]). interset([H|Xs],Y, [H|Z]):-member(H,Y),!,interset(Xs,Y,Z). interset([H|Xs],Y,Z):-interset(Xs,Y,Z).

Слайд 11

Описание слайда:

Предикат difset Предикат difset определяет операцию разности двух множеств. Разностью двух множеств X и Y является множество Z, состоящее из элементов, которые принадлежат множеству X, но не принадлежат множеству Y. Предикат difset (X,Y,Z) истинен, если множество Z является разностью множеств X и Y. Схема отношения этого предиката имеет вид: difset(,,).

Слайд 12

Описание слайда:

Декларативное определение предиката difset Декларативное описание предиката difset(X,Y,Z) формулируется следующим образом: Разность пустого множества и непустого множеством Х есть пустое множество. Список, определяющий первое множество Х, можно разделить на голову Н и хвост Xs. Если голова первого списка Н не принадлежит второму списку Y, то рекурсивно вызывается процедура difset с аргументами Xs и Y. При этом терм H помещается в результирующий список. Список, определяющий первое множество Х, можно разделить на голову Н и хвост Xs. Если голова первого списка Н принадлежит второму списку Y, то рекурсивно вызывается процедура difset с аргументами Xs и Y. При этом терм H в результирующий список не помещается.

Слайд 13

Описание слайда:

Процедура difset difset([],X,[]). difset([H|Xs],Y, [H|Z]):-not(member(H,Y)),!,difset(Xs,Y,Z). difset([H|Xs],Y,Z):-difset(Xs,Y,Z).

Слайд 14

Описание слайда:

Предикат subset Предикат subset определяет, является ли множество подмножеством другого множества. Множество X является подмножеством множества Y, если все элементы X принадлежат множеству Y. Предикат subset(X,Y) истинен, если множество X является подмножеством Y. Схема отношения этого предиката имеет вид: subset(,).

Слайд 15

Описание слайда:

Декларативное определение предиката subset Декларативное описание предиката subset(X,Y) формулируется следующим образом: Пустое множество является подмножеством любого множества. Список, определяющий первое множество Х, можно разделить на голову Н и хвост Xs. Множество X есть подмножество Y, если голова первого списка Н принадлежит второму списку Y и Xs есть подмножество множества Y.

Слайд 16

Описание слайда:

Процедура subset subset([],Y). subset([H|Xs],Y):-member(H,Y),subset(Xs,Y).

Слайд 17

Описание слайда:

Предикат dek Предикат dek определяет операцию декартова произведения двух множеств. Декартовым произведением двух множеств X={xi} и Y={yi} является множество Z, состоящее из пар элементов [xi, yi], где xi принадлежат множеству X, а yi принадлежат множеству Y. Предикат dek(X,Y,Z) истинен, если множество Z является декартовым произведением множеств X и Y. Схема отношения того предиката имеет вид: dek(,,).

Слайд 18

Описание слайда:

Предикаты pro и append1 В процедуре dek используются дополнительные предикаты pro и append1. Предикат pro(X,Y,Z)истинен, если X есть терм, Y={Yi}множество термов, а Z является множество пар вида [X, Yi], где X есть заданный терм, а Yi соответствующий элемент множества Y. Схема отношения предиката pro имеет вид: pro(,,).

Слайд 19

Описание слайда:

Декларативное определение предиката pro Декларативное определение предиката pro(X,Y,Z) формулируется следующим образом: Список Y состоит из одного элемента. Тогда список Z является списком пар вида [X, Yi]. Список, определяющий множество Y, можно разделить на голову Н и хвост T. Тогда список Z=[[X,H]|T1], если список T1 есть результат процедуры pro(X,T,T1).

Слайд 20

Описание слайда:

Декларативное определение предиката dek Декларативное описание предиката dek(X,Y,Z) формулируется следующим образом: Список X состоит из одного элемента. Тогда список Z является результатом процедуры pro(X,Y,Z1). Список, определяющий первое множество Х, можно разделить на голову X и хвост T1. Если pro(X,Y,T2) и dek(T1,Y,T3) и append1(T2,T3,Z) истинны, то Z есть декартово произведение списков X и Y.