Abstract image of a woman sitting on books and studying on a laptop

Lect 3 4 prolog

Halyna Melnyk, profile picture
Halyna Melnyk

Prolog. Structures

Education
1 of 80
Download to read offline
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
СКЛАДНІ ОБ’ЄКТИ ДАНИХ Лекція 3-4
Обумовлені складені терми •Функтори •Списки •Рядки Необумовлені терми•Рядки •Оператори •Змінні •Композити
Атоми Змінні
ПРОСТІ ОБ’ЄКТИ ДАНИХ  Змінна або константа.  Змінна може зв'язуватися з довільним допустимим аргументом Прологу або об'єктом даних. Змінні Прологу локальні, а не глобальні.  Константи містять символи, числа і атоми (не плутайте константи в даному контексті з символьними константами,константи в даному контексті з символьними константами, визначеними в розділі constants програми !).  Анонімна змінна (_) використовується у випадках, коли потрібно використовувати змінну, але не потрібно співставляти її з певним значенням. goal [ _,X2, _,X4|_ ] = [mia, vincent, marsellus, jody, yolanda]. X2 = vincent X4 = jody Yes
КОНСТАНТИ. СИМВОЛИ  Символи мають тип char.  Символ-константа записується наступним чином:  Символьні константи, що представляють спеціальні функції:
КОНСТАНТИ. ЧИСЛА. АТОМИ  Числа можуть бути цілими (integer) або дійсними (real).  Атоми – тип symbol або string. Відмінність між ними - питання машинного подання та реалізації.
Функтор Функтор
1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ ТА ФУНКТОРИ  Складені об'єкти даних дозволяють інтерпретувати деякі частини інформації як єдине ціле таким чином, щоб потім можна було легко розділити їх знову.
1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ ТА ФУНКТОРИ  Аргументи складеного об'єкту даних можуть самі бути складеними об'єктами.  У складеного об'єкту birthday в цьому прикладі є дві частини: об'єкт person ("Leo", "Jensen") об'єкт date ("Apr", 14, 1960). Функтори для цих об'єктів будуть person і date.
1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. УНІФІКАЦІЯ  Складений об'єкт може бути уніфікований з простою змінною або із складеним об'єктом (таким, що містить змінні в якості частин у внутрішній структурі), який йому відповідає. співставляється з Х і присвоює Х значення date ("April", 14, I960). співставляється з І присвоює змінним Mo = "April", Da = 14 і Yr = I960.
 Уніфікація:  мета зіставляється із заголовком пропозицій:  через знак рівності (=), який є інфіксним предикатом (предикатом, який розташований між своїми аргументами, а не перед ними). 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. УНІФІКАЦІЯ
1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. ВИКОРИСТАННЯ ДЕКІЛЬКОХ ЗНАЧЕНЬ ЯК ОДНОГО ЦІЛОГО
1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. ВИКОРИСТАННЯ ДЕКІЛЬКОХ ЗНАЧЕНЬ ЯК ОДНОГО ЦІЛОГО
1. ПРИКЛАД ВИКОРИСТАННЯ СКЛАДЕНИХ ОБ’ЄКТІВ Приклад. Створити список людей, у кого день народження в поточному місяці.
ПРИКЛАД ВИКОРИСТАННЯ СКЛАДЕНИХ ОБ’ЄКТІВ
1. ОГОЛОШЕННЯ СКЛАДЕНИХ ДОМЕНІВ. Приклад. Програма, яка показує, як складові об'єкти з домену articles можуть використовуватися у фактах, які визначають предикат owns.
ТИПИ ДАНИХ КОРИСТУВАЧА Предикат особа першим аргументом має структуру студент/2, а другим - структуру дата/3.
БАГАТОРІВНЕВІ СКЛАДЕНІ ОБ'ЄКТИ book ("The Ugly Duckling", "Andersen“) book ("The Ugly Duckling", author ("Hans Christian", "Andersen")) book (title, author) author = symbolauthor = symbol author = author (first_name, last_name)
1. ВИЗНАЧЕННЯ СКЛАДЕНИХ ЗМІШАНИХ ДОМЕНІВ Дозволяють використовувати предикати, які мають можливість: • отримувати аргумент більш ніж одного типу; • отримувати різну кількість аргументів, всі різних вказаних типів; • отримувати різну кількість аргументів, деякі з яких можуть бути більш ніж одного з можливих типів.
3. ВИЗНАЧЕННЯ СКЛАДЕНИХ ЗМІШАНИХ ДОМЕНІВ. СПИСКИ Припустимо, потрібно заповнити розклад занять з різних предметів, які можуть проводити різні викладачі. Можна написати наступну програму: Тут потрібно повторювати ім'я викладача для кожного предмета, який він читає. Для кожного предмета доводиться додавати факт до бази даних. хоча це і абсолютно правильно в такій ситуації, але можна знайти школу, де викладають сотні предметів; такий тип даних стає дуже складним. Тут було б зручно створити аргумент для предиката, який містить одне або декілька значень.
1. ВИЗНАЧЕННЯ СКЛАДЕНИХ ЗМІШАНИХ ДОМЕНІВ. СПИСКИ Інший приклад – оголошення списку цілих
2. СПИСКИ
2. СПИСОК ЯК ЧАСТКОВИЙ ВИД СТРУКТУРИ Під списком розуміють впорядковану послідовність елементів, яка може мати довільну довжину. Елементами списку можуть бути довільні терми- константи, змінні, структури, останні можуть включати в себе інші списки. Список - це або порожній список, який не містить жодного елемента, або структура, що має дважодного елемента, або структура, що має два компоненти: голову та хвіст. Кінець списку представляється як хвіст, який є порожнім списком.
2. СПОСОБИ ПРЕДСТАВЛЕННЯ СПИСКІВ При використанні функторної форми запису голова і хвіст є компонентами функтора, що позначається крапкою ".". При використанні графічної форми запису список представляється як спеціального виду дерево, що "зростає" зліва направо, причому гілки спрямовані вниз ("виноградне гроно"). При використанні дужкової форми запису послідовність елементів списку, що розділені комами, заключається у квадратні дужки.
2. ОГОЛОШЕННЯ СПИСКІВ domains integerlist = integer * Символ (*) означає "список чого-небудь» Елементи списку можуть бути будь-якими, включаючи інші списки. Однак всі його елементи повинні належати одному домену. Декларація домену для елементів повинна бути наступного вигляду: domains elementlist = elements *elementlist = elements * elements = .... У Visual Prolog можна змішувати стандартні типи в списку. elementlist = elements * elements = integer; real; symbol / * Невірно * / Але правильно: elementlist = elements * elements = i (integer); r (real); s (symbol) % функтори тут i, r і s
2. ВИЗНАЧЕННЯ СПИСКІВ Робота зі списками заснована на розщепленні на голову і хвіст: [Head | Tail]. Голова є перший аргумент функтора " | ", хвіст - другий: (Head | [Tail]]). Функтор «|» використовується для конструювання списку.списку. Хвіст списку є списком, що складається з усіх елементів вихідного списку, за винятком першого. Приклади: [1,2,3]-Head: 1, Tail: [2,3]; [[1], [2]]-Head: [1], Tail: [[2]].
ПРИКЛАД 1 [mia, vincent, jules, yolanda] Head: mia Tail: [vincent, jules, yolanda]
ПРИКЛАД 2 [[ ], dead(z), [2, [b,c]], [ ], Z, [2, [b,c]]] Head: [ ] Tail: [dead(z), [2, [b,c]], [ ], Z, [2, [b,c]]]
ПРИКЛАД 3 [dead(z)] Head: dead(z) Tail: [ ]
3. РОБОТА ЗІ СПИСКАМИ
3. СТВОРЕННЯ СПИСКІВ findall(X,predecessor(pam,X),Preds). Вихідний список Змінна запиту
Программа використовує findall для друку середнього віку групи людей 3. СТВОРЕННЯ СПИСКІВ
Пошук особи за віком 3. СТВОРЕННЯ СПИСКІВ
3. СТВОРЕННЯ НОВОГО СПИСКУ НА ОСНОВІ ДАНОГО Приклад програми, яка переглядає список із чисел і робить з нього копію, відкидаючи від’ємні числа.
3. СТВОРЕННЯ НОВОГО СПИСКУ НА ОСНОВІ ДАНОГО Приклад програми, яка копіює елементи списка, примушуючи кожний елемент повторюватися двічі
3. ВБУДОВАНИЙ ОПЕРАТОР | goal [X|Y] = [mia, vincent, jules, yolanda]. X = mia Y = [vincent,jules,yolanda] Yes goal [X|Y] = [ ]. no goal [X,Y|Tail] = [[ ], dead(z), [2, [b,c]], [], Z, [2, [b,c]]] . X = [ ] Y = dead(z) Z = _4543 Tail = [[2, [b,c]], [ ], Z, [2, [b,c]]] Yes
3. ВИКОРИСТАННЯ АНОНІМНИХ ЗМІННИХ goal [X1,X2,X3,X4|Tail] = [mia, vincent, marsellus, jody, yolanda]. X1 = mia X2 = vincent X3 = marsellus X4 = jody Tail = [yolanda] Yes goal [ _,X2, _,X4|_ ] = [mia, vincent, marsellus, jody, yolanda]. X2 = vincent X4 = jody yes
3. ПРОГРАМНА РОБОТА ЗІ СПИСКОМ Опис списку Введення списку Виведення списку
3. ВИВЕДЕННЯ СПСИКУ Виводити порожній список - значить нічого не робити. Інакше, виводити список - означає друкувати його голову (яка є одним елементом), потім друкувати його хвіст (список).
3. ВИЗНАЧЕННЯ КІЛЬКОСТІ ЕЛЕМЕНТІВ СПИСКУ Логічне визначення: Довжина [] - 0. Довжина будь-якого іншого списку - 1 плюс довжина його хвоста.
3. ВИЗНАЧЕННЯ КІЛЬКОСТІ ЕЛЕМЕНТІВ СПИСКУ … або хвостова рекурсія.
3. ПЕРЕТВОРЕННЯ ЕЛЕМЕНТІВ СПИСКУ Додасть 1 до кожного елементу числового списку. Щоб додати 1 до всіх елементів порожнього списку, треба створити інший порожній список. Щоб додати 1 до всіх елементів будь- якого непорожнього списку, треба додати 1 до голови і зробити отриманий елемент головою результуючого списку, потім додати 1 до кожного елементу хвоста списку і зробити це хвостом результату.
3. ПРИНАЛЕЖНІСТЬ ДО СПИСКУ … виражається предикатом member (name, namelist). % "Name" належить "namelist” Name належить списку, якщо Name є перший елемент списку, або Name належить списку, якщо Name належить хвосту.
3. ПРОЦЕДУРА ПЕРЕВІРКИ НАЛЕЖНОСТІ СПИСКУ "деякий елемент міститься у списку елементів, якщо він є або головою списку, або міститься у хвості списку". Гранична умова (1): число належить спискучисло належить списку цілих чисел, якщо воно є головою списку. Рекурсивне правило (2): число, яке не являється головою списку, належить йому, якщо воно належить хвосту списку.
conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). L1H L2 [H|L1] L3 L3H L3 3. ОБ'ЄДНАННЯ СПИСКІВ.  Рекурсивне визначення  Базове твердження: з’єднання порожнього списку з довільним списком дає той самий список  Рекурсивний крок стверджує, що з’єднання непорожнього списку [H|T] з списком L, дає список з головою H і результат з’єднання T і L conc(L1, L2, L3).
3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ goal conc([a,b,c],[1,2,3], R). conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3).
conc([a,b,c],[1,2,3], R). / conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1)
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) /
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- append(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2)
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2) /
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2) / L2=[1,2,3]
conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2) / L2=[1,2,3] † L2=[1,2,3] L1=[c|L2]=[c,1,2,3] L0=[b|L1]=[b,c,1,2,3] R=[a|L0]=[a,b,c,1,2,3]
3. ОБ'ЄДНАННЯ СПИСКІВ. РЕКУРСІЯ З ПРОЦЕДУРНОЇ ТОЧКИ ЗОРУ append (List1, List2, List3) Якщо List1 порожній, то результатом об'єднання List1 і List2 залишиться List2 : append ([], List2, List2).List2). Якщо List1 не порожній, то можна об'єднати List1 і List2 для формування List3, зробивши голову List1 головою List3 : append ([H | L1], List2, [H | L3]): -append (L1, List2, L3).
3. ОБ'ЄДНАННЯ СПИСКІВ. РЕКУРСІЯ З ПРОЦЕДУРНОЇ ТОЧКИ ЗОРУ
3. ОБ'ЄДНАННЯ СПИСКІВ. РЕКУРСІЯ З ДЕКЛАРАТИВНОЇ ТОЧКИ ЗОРУ
3. СКЛАДЕНИЙ СПИСОК Приклад, який демонструє об’єднання списків та використання оголошення доменів в типовому випадку роботи зі списками.
3. ДОДАТИ ЕЛЕМЕНТ В СПИСОК Код: LX [X|L] LX add(X,L,[X|L]). Приклад: add(a,[1,2,3],L). L [L]
3. ЗНИЩИТИ ЕЛЕМЕНТ ЗІ СПИСКУ Вважаємо, що del(X,L,L1), знищує X з L і переміщує новий список в L1. Код: del(X,[X|Tail],Tail). % якщо X голова списку L del(X,[Y|Tail], [Y|Tail1]):- del(X,Tail,Tail1).del(X,[Y|Tail], [Y|Tail1]):- del(X,Tail,Tail1). Приклад: del(1,[1,2,3],L). [Y|L1] L1YLX L [Y|L ] YX
3. ПІДСПИСОК S є підсписком L якщо: (1) L може бути розбитий на 2 списка L1, L2 і (2) L2 може бути розбитий на 2 спика: S і деякий L3 L1 L2X member(X,L) L member(X,L) L1 L3S L2 L [X|L2] sublist(S,L) sublist(S,L):- conc(L1,L2,L), conc(S,L3,L2).
3. ВСТАВКА ЕЛЕМЕНТА insert (X, List, BiggerList) :- del (X, BiggerList, List).del (X, BiggerList, List).
3. ПЕРЕСТАНОВКА  Відношення перестановка з 2-ма аргументами в 2-х списках таким чином, щоб один з них був отриманий шляхом перестановки елементів іншого. goal permutation( [a,b,c], P ). P = [a,b,c]; P = [a,c,b]; P = [b,a,c]; X L додати X отримуючи …  приклад: goal permutation( [red,blue,green], P ). P = [red, blue, green]; P = [red, green, blue]; P = [blue, red, green]; P = [blue, green, red]; P = [green, red, blue]; P = [green, blue, red]; no L1 перестановку [X | L] L1 - перестановка L
1.Якщо список порожній, нова перестановка є порожньою перестановкою ([],[]). 2. Якщо список не порожній, він має вигляд [X|L].2. Якщо список не порожній, він має вигляд [X|L]. permutation([X|L],P):- permutation(L,L1), insert(X,L1,P).
66 3. СОРТУВАННЯ СПИСКУ МЕТОДОМ ВСТАВКИ. Cпочатку впорядкуємо хвіст, а потім вставимо голову в потрібне місце хвоста. Порожній список – впорядкований. sort ( [ ], [ ]). sort ( [ H | T ], S) :- sort (T, S1), insert (H, S1, S).sort ( [ H | T ], S) :- sort (T, S1), insert (H, S1, S). insert (H, [ ], [H]). insert (H, [ Y | T ], [ H | S ]) :- H<Y, S=[Y | T]. insert (H, [ Y | T ], [ Y | S ]) :- H>=Y, insert (H, T, S).
3. СКЛАДЕНИЙ СПИСОК Складені списки - це списки, в яких використовується більш ніж один тип елементів. Для роботи зі списками з різнотипних елементів потрібні спеціальні декларації, тому що Visual Prolog вимагає, щоб всі елементи списку належали одному типу. Приклад оголошення доменів для списку, який може містити символи, цілі, рядки або списки:цілі, рядки або списки: domains % функтори l, i, c та s llist = l(list); i(integer); c(char); s(string) list = llist * список [2, 9, ["food", "goo"], "new"] % Некоректно в Visual Prolog повинен бути представлений в Visual Prolog як: [ i(2), i(9), l([s(“food”), s(“goo")]), s(“new") ] % Коректно.
ГРАМАТИЧНИЙ РОЗБІР СПИСКІВ Програма ілюструє граматичний розбір списків. Процес граматичного розбору працює шляхом спрощення проблеми: у прикладі перетворюється кожний рядок у структуру Прологу, яку можна використовувати або обчислити пізніше.
ГРАМАТИЧНИЙ РОЗБІР СПИСКІВ
ГРАМАТИЧНИЙ РОЗБІР СПИСКІВ
ГРАМАТИЧНИЙ РОЗБІР СПИСКІВ
4. РЯДКИ
4. РЯДКИ  Предикат frontchar працює згідно рівності: String1 = об’єднання Char і String2: frontchar (Stringl, Char, String2) %(i, o, o) (i, i, o) (i, o, i) (i, i, i) (o,i, i)
4. РЯДКИ fronttoken (Stringl,Token,Rest) %(i, o, o) (i, i, o) (i,o,i) (i, i,i) (o, i, i)  У випадку потоку (i, o, o) fronttoken знаходить першу лексему в string1, звязує її з Token, а залишок string1 звязує з Rest.  Варіанти потока (i, i,o), (i, o, i), а також (i, i, i) служать для перевірки: якщо звязані аргументи відповідаються частинам String1 (першій лексемі, всьому, що знаходиться після першої лексеми, або ж і тому ілексемі, всьому, що знаходиться після першої лексеми, або ж і тому і другому), то fronttoken завершується успішно, інакше — неуспішно.  У випадку потоку (o, i, i), предикат створює обєднання Token і Rest, звязуючи string1 з результатом. Послідовність знаків є лексемою, якщо вона:  - імя згідно синтаксису Visual Prolog;  - число (знак є окремою лексемою);  - відмінний від «пробілу» знак.
4. РЯДКИ
4. РЯДКИ  Предикат frontstr розщеплює string1 на дві частини: frontstr(NumberOfChars, String1, StartStr, EndStr) % (i, i, o, o)  де startstr містить NumberOfChars перших символів з string1, a Endstr містить залишок.  При зверненні до frontstr перші два параметра повинні бути звязаними, а останні два — вільними.звязаними, а останні два — вільними.  Предикат concat встановлює, що рядок strings є результатом зчеплення String1 і String2: concat(Stringl,String2,StringS) %(i, i, o),(i, o, i),(o, i, i),(i, i, i)  Предикат str_len визначає або перевіряє довжину рядка або повертає рядок «пробілів» заданої довжини: str_len (StringArg, Length) % (i, o), (i, i), (o, i)
4. РЯДКИ
4. РЯДКИ
4. РЯДКИ
Lect 3 4 prolog

More Related Content

PPTX
Methods of slaughtering, processing & postmortem changes and ageing of meat
mahabubcvasu
 
PPTX
Design, Construction and Performance Test of a Color Sorter
Md. Muntasir R- Rafi
 
PDF
Lect аі 2 n net p2
Halyna Melnyk
 
PDF
Lect ai 2 nn
Halyna Melnyk
 
PDF
Lect 1 intro
Halyna Melnyk
 
PDF
Lect ai 3 ga
Halyna Melnyk
 
PDF
Lect 5 prolog
Halyna Melnyk
 
PDF
Lect 6 prolog
Halyna Melnyk
 
Methods of slaughtering, processing & postmortem changes and ageing of meat
mahabubcvasu
 
Design, Construction and Performance Test of a Color Sorter
Md. Muntasir R- Rafi
 
Lect аі 2 n net p2
Halyna Melnyk
 
Lect ai 2 nn
Halyna Melnyk
 
Lect 1 intro
Halyna Melnyk
 
Lect ai 3 ga
Halyna Melnyk
 
Lect 5 prolog
Halyna Melnyk
 
Lect 6 prolog
Halyna Melnyk
 

Viewers also liked (6)

PDF
Lect 2 prolog
Halyna Melnyk
 
PPTX
Sql db
Halyna Melnyk
 
PDF
Введение в язык программирования Питон (Python)
Александр Дьяконов
 
PDF
Pandas: обзор основных функций
Александр Дьяконов
 
PDF
Artificial neural networks
stellajoseph
 
PPTX
Artificial neural network
DEEPASHRI HK
 
Lect 2 prolog
Halyna Melnyk
 
Sql db
Halyna Melnyk
 
Введение в язык программирования Питон (Python)
Александр Дьяконов
 
Pandas: обзор основных функций
Александр Дьяконов
 
Artificial neural networks
stellajoseph
 
Artificial neural network
DEEPASHRI HK
 
Ad

Similar to Lect 3 4 prolog (20)

PDF
Mka python jr-urok_09_ua_1563258982
PavloTsiura
 
PDF
l9
Назар Козак
 
PDF
L10f
Назар Козак
 
DOCX
Less35
Nikolay Shaygorodskiy
 
PPTX
1
Cshkilniy
 
PPT
змінна введення виведення даних
Микола Мізюк
 
DOCX
Lesson#25. algorithms for processing table values.
Nikolay Shaygorodskiy
 
PPTX
Lecture 03 for distance courses "Fundamentals of Informatics"
kostyanik-irina
 
PPT
3018 1
angelasuglobova
 
PPTX
тема 7
cit-cit
 
PPTX
Pascal osnovu
Escuela
 
PPTX
Урок 43. Цикл з передумовою
Василь Тереховський
 
PPT
1218562
nsahar
 
PPTX
Урок 30. Величини (змінні і константи), їхні властивості
Василь Тереховський
 
PPT
Основи програмування .Паскаль ч.1
rznz
 
PPT
Pascal основи програмування частина 1
Володимир-Волинська загальноосвітня школа І-ІІІ ступенів №2
 
PPTX
урок 4 базові алгоритмічні структури
kissoli
 
PPTX
Паскаль
Irina Tabanets
 
PPTX
Povtor 7 8kl
TamaraIvahnichenko
 
PPTX
Net framework і c# lesson1
Andrii Hladkyi
 
Mka python jr-urok_09_ua_1563258982
PavloTsiura
 
l9
Назар Козак
 
L10f
Назар Козак
 
Less35
Nikolay Shaygorodskiy
 
1
Cshkilniy
 
змінна введення виведення даних
Микола Мізюк
 
Lesson#25. algorithms for processing table values.
Nikolay Shaygorodskiy
 
Lecture 03 for distance courses "Fundamentals of Informatics"
kostyanik-irina
 
3018 1
angelasuglobova
 
тема 7
cit-cit
 
Pascal osnovu
Escuela
 
Урок 43. Цикл з передумовою
Василь Тереховський
 
1218562
nsahar
 
Урок 30. Величини (змінні і константи), їхні властивості
Василь Тереховський
 
Основи програмування .Паскаль ч.1
rznz
 
Pascal основи програмування частина 1
Володимир-Волинська загальноосвітня школа І-ІІІ ступенів №2
 
урок 4 базові алгоритмічні структури
kissoli
 
Паскаль
Irina Tabanets
 
Povtor 7 8kl
TamaraIvahnichenko
 
Net framework і c# lesson1
Andrii Hladkyi
 
Ad

More from Halyna Melnyk (9)

PPT
Sql global
Halyna Melnyk
 
PPT
Sql pl
Halyna Melnyk
 
PPT
Sql granting
Halyna Melnyk
 
PPT
Sql view
Halyna Melnyk
 
PPT
Sql select 3
Halyna Melnyk
 
PPT
Sql select 2
Halyna Melnyk
 
PPT
Sql select 1
Halyna Melnyk
 
PPT
Sql dml
Halyna Melnyk
 
PPTX
Sql ddl
Halyna Melnyk
 
Sql global
Halyna Melnyk
 
Sql pl
Halyna Melnyk
 
Sql granting
Halyna Melnyk
 
Sql view
Halyna Melnyk
 
Sql select 3
Halyna Melnyk
 
Sql select 2
Halyna Melnyk
 
Sql select 1
Halyna Melnyk
 
Sql dml
Halyna Melnyk
 
Sql ddl
Halyna Melnyk
 

Recently uploaded (18)

PDF
8_in_b_2025 - лютв лвотп ячлвт плвт ядвл
makillsrap
 
PPT
Підсумки атестації здобувачів другого (магістерського) рівня вищої освіти 20...
tetiana1958
 
PDF
яво рпядлв опялдыво пялдыв оплядыв оп ояыл
makillsrap
 
PDF
Заняття 5. Методика прийняття рішень на основі APSP (Army Problem Solving Pro...
ssuser5136e4
 
PDF
8_mys_g_2025 - влат пвлтп влт пвлатп лвв
makillsrap
 
PDF
akjgaksdj lkaыдуко локж оуыпж оывджл апоыв
makillsrap
 
PDF
в пявлапо жлваопвлад опявл аопялвдао плва
makillsrap
 
PDF
ы плоывдлпоявлпо яылпояылв по влполвдпо в
makillsrap
 
PDF
"Фах" (аналіз твору) Айзек Азімов (презентація)
Adriana Himinets
 
PDF
Заняття 6. Прийняття рішення командиром взводу на бій на основі APSP (Army Pr...
ssuser5136e4
 
PDF
Заняття 6. Прийняття рішення командиром взводу на бій на основі APSP (Army Pr...
ssuser5136e4
 
PDF
яалво вдлаопядвл опдлыв ояпвояыр пывора в
makillsrap
 
PPTX
Презентація 7 клас Урок 1. Комп'ютерні мережі
Natalya74
 
PDF
8_t_h_2025 - ядв пдвлаопялво пядлво плдвв
makillsrap
 
PDF
Інформація щодо фактичного використання бюджетних коштів в липні 2025 році
school_inform72
 
PDF
ывла пявдлоп явдла опдвяла опдвла опявлпов
makillsrap
 
PDF
КНУ, презентація по вступній кампанії_2025
slupen1
 
PPTX
Підсумки атестації випускників 2025 року
tetiana1958
 
8_in_b_2025 - лютв лвотп ячлвт плвт ядвл
makillsrap
 
Підсумки атестації здобувачів другого (магістерського) рівня вищої освіти 20...
tetiana1958
 
яво рпядлв опялдыво пялдыв оплядыв оп ояыл
makillsrap
 
Заняття 5. Методика прийняття рішень на основі APSP (Army Problem Solving Pro...
ssuser5136e4
 
8_mys_g_2025 - влат пвлтп влт пвлатп лвв
makillsrap
 
akjgaksdj lkaыдуко локж оуыпж оывджл апоыв
makillsrap
 
в пявлапо жлваопвлад опявл аопялвдао плва
makillsrap
 
ы плоывдлпоявлпо яылпояылв по влполвдпо в
makillsrap
 
"Фах" (аналіз твору) Айзек Азімов (презентація)
Adriana Himinets
 
Заняття 6. Прийняття рішення командиром взводу на бій на основі APSP (Army Pr...
ssuser5136e4
 
Заняття 6. Прийняття рішення командиром взводу на бій на основі APSP (Army Pr...
ssuser5136e4
 
яалво вдлаопядвл опдлыв ояпвояыр пывора в
makillsrap
 
Презентація 7 клас Урок 1. Комп'ютерні мережі
Natalya74
 
8_t_h_2025 - ядв пдвлаопялво пядлво плдвв
makillsrap
 
Інформація щодо фактичного використання бюджетних коштів в липні 2025 році
school_inform72
 
ывла пявдлоп явдла опдвяла опдвла опявлпов
makillsrap
 
КНУ, презентація по вступній кампанії_2025
slupen1
 
Підсумки атестації випускників 2025 року
tetiana1958
 

Lect 3 4 prolog

  • 4. ПРОСТІ ОБ’ЄКТИ ДАНИХ  Змінна або константа.  Змінна може зв'язуватися з довільним допустимим аргументом Прологу або об'єктом даних. Змінні Прологу локальні, а не глобальні.  Константи містять символи, числа і атоми (не плутайте константи в даному контексті з символьними константами,константи в даному контексті з символьними константами, визначеними в розділі constants програми !).  Анонімна змінна (_) використовується у випадках, коли потрібно використовувати змінну, але не потрібно співставляти її з певним значенням. goal [ _,X2, _,X4|_ ] = [mia, vincent, marsellus, jody, yolanda]. X2 = vincent X4 = jody Yes
  • 5. КОНСТАНТИ. СИМВОЛИ  Символи мають тип char.  Символ-константа записується наступним чином:  Символьні константи, що представляють спеціальні функції:
  • 6. КОНСТАНТИ. ЧИСЛА. АТОМИ  Числа можуть бути цілими (integer) або дійсними (real).  Атоми – тип symbol або string. Відмінність між ними - питання машинного подання та реалізації.
  • 8. 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ ТА ФУНКТОРИ  Складені об'єкти даних дозволяють інтерпретувати деякі частини інформації як єдине ціле таким чином, щоб потім можна було легко розділити їх знову.
  • 9. 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ ТА ФУНКТОРИ  Аргументи складеного об'єкту даних можуть самі бути складеними об'єктами.  У складеного об'єкту birthday в цьому прикладі є дві частини: об'єкт person ("Leo", "Jensen") об'єкт date ("Apr", 14, 1960). Функтори для цих об'єктів будуть person і date.
  • 10. 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. УНІФІКАЦІЯ  Складений об'єкт може бути уніфікований з простою змінною або із складеним об'єктом (таким, що містить змінні в якості частин у внутрішній структурі), який йому відповідає. співставляється з Х і присвоює Х значення date ("April", 14, I960). співставляється з І присвоює змінним Mo = "April", Da = 14 і Yr = I960.
  • 11.  Уніфікація:  мета зіставляється із заголовком пропозицій:  через знак рівності (=), який є інфіксним предикатом (предикатом, який розташований між своїми аргументами, а не перед ними). 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. УНІФІКАЦІЯ
  • 12. 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. ВИКОРИСТАННЯ ДЕКІЛЬКОХ ЗНАЧЕНЬ ЯК ОДНОГО ЦІЛОГО
  • 13. 1. СКЛАДЕНІ ОБ’ЄКТИ ДАНИХ. ВИКОРИСТАННЯ ДЕКІЛЬКОХ ЗНАЧЕНЬ ЯК ОДНОГО ЦІЛОГО
  • 14. 1. ПРИКЛАД ВИКОРИСТАННЯ СКЛАДЕНИХ ОБ’ЄКТІВ Приклад. Створити список людей, у кого день народження в поточному місяці.
  • 16. 1. ОГОЛОШЕННЯ СКЛАДЕНИХ ДОМЕНІВ. Приклад. Програма, яка показує, як складові об'єкти з домену articles можуть використовуватися у фактах, які визначають предикат owns.
  • 17. ТИПИ ДАНИХ КОРИСТУВАЧА Предикат особа першим аргументом має структуру студент/2, а другим - структуру дата/3.
  • 18. БАГАТОРІВНЕВІ СКЛАДЕНІ ОБ'ЄКТИ book ("The Ugly Duckling", "Andersen“) book ("The Ugly Duckling", author ("Hans Christian", "Andersen")) book (title, author) author = symbolauthor = symbol author = author (first_name, last_name)
  • 19. 1. ВИЗНАЧЕННЯ СКЛАДЕНИХ ЗМІШАНИХ ДОМЕНІВ Дозволяють використовувати предикати, які мають можливість: • отримувати аргумент більш ніж одного типу; • отримувати різну кількість аргументів, всі різних вказаних типів; • отримувати різну кількість аргументів, деякі з яких можуть бути більш ніж одного з можливих типів.
  • 20. 3. ВИЗНАЧЕННЯ СКЛАДЕНИХ ЗМІШАНИХ ДОМЕНІВ. СПИСКИ Припустимо, потрібно заповнити розклад занять з різних предметів, які можуть проводити різні викладачі. Можна написати наступну програму: Тут потрібно повторювати ім'я викладача для кожного предмета, який він читає. Для кожного предмета доводиться додавати факт до бази даних. хоча це і абсолютно правильно в такій ситуації, але можна знайти школу, де викладають сотні предметів; такий тип даних стає дуже складним. Тут було б зручно створити аргумент для предиката, який містить одне або декілька значень.
  • 21. 1. ВИЗНАЧЕННЯ СКЛАДЕНИХ ЗМІШАНИХ ДОМЕНІВ. СПИСКИ Інший приклад – оголошення списку цілих
  • 23. 2. СПИСОК ЯК ЧАСТКОВИЙ ВИД СТРУКТУРИ Під списком розуміють впорядковану послідовність елементів, яка може мати довільну довжину. Елементами списку можуть бути довільні терми- константи, змінні, структури, останні можуть включати в себе інші списки. Список - це або порожній список, який не містить жодного елемента, або структура, що має дважодного елемента, або структура, що має два компоненти: голову та хвіст. Кінець списку представляється як хвіст, який є порожнім списком.
  • 24. 2. СПОСОБИ ПРЕДСТАВЛЕННЯ СПИСКІВ При використанні функторної форми запису голова і хвіст є компонентами функтора, що позначається крапкою ".". При використанні графічної форми запису список представляється як спеціального виду дерево, що "зростає" зліва направо, причому гілки спрямовані вниз ("виноградне гроно"). При використанні дужкової форми запису послідовність елементів списку, що розділені комами, заключається у квадратні дужки.
  • 25. 2. ОГОЛОШЕННЯ СПИСКІВ domains integerlist = integer * Символ (*) означає "список чого-небудь» Елементи списку можуть бути будь-якими, включаючи інші списки. Однак всі його елементи повинні належати одному домену. Декларація домену для елементів повинна бути наступного вигляду: domains elementlist = elements *elementlist = elements * elements = .... У Visual Prolog можна змішувати стандартні типи в списку. elementlist = elements * elements = integer; real; symbol / * Невірно * / Але правильно: elementlist = elements * elements = i (integer); r (real); s (symbol) % функтори тут i, r і s
  • 26. 2. ВИЗНАЧЕННЯ СПИСКІВ Робота зі списками заснована на розщепленні на голову і хвіст: [Head | Tail]. Голова є перший аргумент функтора " | ", хвіст - другий: (Head | [Tail]]). Функтор «|» використовується для конструювання списку.списку. Хвіст списку є списком, що складається з усіх елементів вихідного списку, за винятком першого. Приклади: [1,2,3]-Head: 1, Tail: [2,3]; [[1], [2]]-Head: [1], Tail: [[2]].
  • 27. ПРИКЛАД 1 [mia, vincent, jules, yolanda] Head: mia Tail: [vincent, jules, yolanda]
  • 28. ПРИКЛАД 2 [[ ], dead(z), [2, [b,c]], [ ], Z, [2, [b,c]]] Head: [ ] Tail: [dead(z), [2, [b,c]], [ ], Z, [2, [b,c]]]
  • 30. 3. РОБОТА ЗІ СПИСКАМИ
  • 32. Программа використовує findall для друку середнього віку групи людей 3. СТВОРЕННЯ СПИСКІВ
  • 33. Пошук особи за віком 3. СТВОРЕННЯ СПИСКІВ
  • 34. 3. СТВОРЕННЯ НОВОГО СПИСКУ НА ОСНОВІ ДАНОГО Приклад програми, яка переглядає список із чисел і робить з нього копію, відкидаючи від’ємні числа.
  • 35. 3. СТВОРЕННЯ НОВОГО СПИСКУ НА ОСНОВІ ДАНОГО Приклад програми, яка копіює елементи списка, примушуючи кожний елемент повторюватися двічі
  • 36. 3. ВБУДОВАНИЙ ОПЕРАТОР | goal [X|Y] = [mia, vincent, jules, yolanda]. X = mia Y = [vincent,jules,yolanda] Yes goal [X|Y] = [ ]. no goal [X,Y|Tail] = [[ ], dead(z), [2, [b,c]], [], Z, [2, [b,c]]] . X = [ ] Y = dead(z) Z = _4543 Tail = [[2, [b,c]], [ ], Z, [2, [b,c]]] Yes
  • 37. 3. ВИКОРИСТАННЯ АНОНІМНИХ ЗМІННИХ goal [X1,X2,X3,X4|Tail] = [mia, vincent, marsellus, jody, yolanda]. X1 = mia X2 = vincent X3 = marsellus X4 = jody Tail = [yolanda] Yes goal [ _,X2, _,X4|_ ] = [mia, vincent, marsellus, jody, yolanda]. X2 = vincent X4 = jody yes
  • 38. 3. ПРОГРАМНА РОБОТА ЗІ СПИСКОМ Опис списку Введення списку Виведення списку
  • 39. 3. ВИВЕДЕННЯ СПСИКУ Виводити порожній список - значить нічого не робити. Інакше, виводити список - означає друкувати його голову (яка є одним елементом), потім друкувати його хвіст (список).
  • 40. 3. ВИЗНАЧЕННЯ КІЛЬКОСТІ ЕЛЕМЕНТІВ СПИСКУ Логічне визначення: Довжина [] - 0. Довжина будь-якого іншого списку - 1 плюс довжина його хвоста.
  • 41. 3. ВИЗНАЧЕННЯ КІЛЬКОСТІ ЕЛЕМЕНТІВ СПИСКУ … або хвостова рекурсія.
  • 42. 3. ПЕРЕТВОРЕННЯ ЕЛЕМЕНТІВ СПИСКУ Додасть 1 до кожного елементу числового списку. Щоб додати 1 до всіх елементів порожнього списку, треба створити інший порожній список. Щоб додати 1 до всіх елементів будь- якого непорожнього списку, треба додати 1 до голови і зробити отриманий елемент головою результуючого списку, потім додати 1 до кожного елементу хвоста списку і зробити це хвостом результату.
  • 43. 3. ПРИНАЛЕЖНІСТЬ ДО СПИСКУ … виражається предикатом member (name, namelist). % "Name" належить "namelist” Name належить списку, якщо Name є перший елемент списку, або Name належить списку, якщо Name належить хвосту.
  • 44. 3. ПРОЦЕДУРА ПЕРЕВІРКИ НАЛЕЖНОСТІ СПИСКУ "деякий елемент міститься у списку елементів, якщо він є або головою списку, або міститься у хвості списку". Гранична умова (1): число належить спискучисло належить списку цілих чисел, якщо воно є головою списку. Рекурсивне правило (2): число, яке не являється головою списку, належить йому, якщо воно належить хвосту списку.
  • 45. conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). L1H L2 [H|L1] L3 L3H L3 3. ОБ'ЄДНАННЯ СПИСКІВ.  Рекурсивне визначення  Базове твердження: з’єднання порожнього списку з довільним списком дає той самий список  Рекурсивний крок стверджує, що з’єднання непорожнього списку [H|T] з списком L, дає список з головою H і результат з’єднання T і L conc(L1, L2, L3).
  • 46. 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ goal conc([a,b,c],[1,2,3], R). conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3).
  • 47. conc([a,b,c],[1,2,3], R). / conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ
  • 48. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ
  • 49. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ
  • 50. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1)
  • 51. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) /
  • 52. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- append(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2)
  • 53. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2) /
  • 54. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2) / L2=[1,2,3]
  • 55. conc([a,b,c],[1,2,3], R). / † R = [a|L0] conc([b,c],[1,2,3],L0) / † L0=[b|L1] conc([], L, L). conc([H|L1], L2, [H|L3]):- conc(L1, L2, L3). 3. ОБ'ЄДНАННЯ СПИСКІВ. ДЕРЕВО РІШЕНЬ † L0=[b|L1] conc([c],[1,2,3],L1) / † L1=[c|L2] conc([],[1,2,3],L2) / L2=[1,2,3] † L2=[1,2,3] L1=[c|L2]=[c,1,2,3] L0=[b|L1]=[b,c,1,2,3] R=[a|L0]=[a,b,c,1,2,3]
  • 56. 3. ОБ'ЄДНАННЯ СПИСКІВ. РЕКУРСІЯ З ПРОЦЕДУРНОЇ ТОЧКИ ЗОРУ append (List1, List2, List3) Якщо List1 порожній, то результатом об'єднання List1 і List2 залишиться List2 : append ([], List2, List2).List2). Якщо List1 не порожній, то можна об'єднати List1 і List2 для формування List3, зробивши голову List1 головою List3 : append ([H | L1], List2, [H | L3]): -append (L1, List2, L3).
  • 57. 3. ОБ'ЄДНАННЯ СПИСКІВ. РЕКУРСІЯ З ПРОЦЕДУРНОЇ ТОЧКИ ЗОРУ
  • 58. 3. ОБ'ЄДНАННЯ СПИСКІВ. РЕКУРСІЯ З ДЕКЛАРАТИВНОЇ ТОЧКИ ЗОРУ
  • 59. 3. СКЛАДЕНИЙ СПИСОК Приклад, який демонструє об’єднання списків та використання оголошення доменів в типовому випадку роботи зі списками.
  • 60. 3. ДОДАТИ ЕЛЕМЕНТ В СПИСОК Код: LX [X|L] LX add(X,L,[X|L]). Приклад: add(a,[1,2,3],L). L [L]
  • 61. 3. ЗНИЩИТИ ЕЛЕМЕНТ ЗІ СПИСКУ Вважаємо, що del(X,L,L1), знищує X з L і переміщує новий список в L1. Код: del(X,[X|Tail],Tail). % якщо X голова списку L del(X,[Y|Tail], [Y|Tail1]):- del(X,Tail,Tail1).del(X,[Y|Tail], [Y|Tail1]):- del(X,Tail,Tail1). Приклад: del(1,[1,2,3],L). [Y|L1] L1YLX L [Y|L ] YX
  • 62. 3. ПІДСПИСОК S є підсписком L якщо: (1) L може бути розбитий на 2 списка L1, L2 і (2) L2 може бути розбитий на 2 спика: S і деякий L3 L1 L2X member(X,L) L member(X,L) L1 L3S L2 L [X|L2] sublist(S,L) sublist(S,L):- conc(L1,L2,L), conc(S,L3,L2).
  • 63. 3. ВСТАВКА ЕЛЕМЕНТА insert (X, List, BiggerList) :- del (X, BiggerList, List).del (X, BiggerList, List).
  • 64. 3. ПЕРЕСТАНОВКА  Відношення перестановка з 2-ма аргументами в 2-х списках таким чином, щоб один з них був отриманий шляхом перестановки елементів іншого. goal permutation( [a,b,c], P ). P = [a,b,c]; P = [a,c,b]; P = [b,a,c]; X L додати X отримуючи …  приклад: goal permutation( [red,blue,green], P ). P = [red, blue, green]; P = [red, green, blue]; P = [blue, red, green]; P = [blue, green, red]; P = [green, red, blue]; P = [green, blue, red]; no L1 перестановку [X | L] L1 - перестановка L
  • 65. 1.Якщо список порожній, нова перестановка є порожньою перестановкою ([],[]). 2. Якщо список не порожній, він має вигляд [X|L].2. Якщо список не порожній, він має вигляд [X|L]. permutation([X|L],P):- permutation(L,L1), insert(X,L1,P).
  • 66. 66 3. СОРТУВАННЯ СПИСКУ МЕТОДОМ ВСТАВКИ. Cпочатку впорядкуємо хвіст, а потім вставимо голову в потрібне місце хвоста. Порожній список – впорядкований. sort ( [ ], [ ]). sort ( [ H | T ], S) :- sort (T, S1), insert (H, S1, S).sort ( [ H | T ], S) :- sort (T, S1), insert (H, S1, S). insert (H, [ ], [H]). insert (H, [ Y | T ], [ H | S ]) :- H<Y, S=[Y | T]. insert (H, [ Y | T ], [ Y | S ]) :- H>=Y, insert (H, T, S).
  • 67. 3. СКЛАДЕНИЙ СПИСОК Складені списки - це списки, в яких використовується більш ніж один тип елементів. Для роботи зі списками з різнотипних елементів потрібні спеціальні декларації, тому що Visual Prolog вимагає, щоб всі елементи списку належали одному типу. Приклад оголошення доменів для списку, який може містити символи, цілі, рядки або списки:цілі, рядки або списки: domains % функтори l, i, c та s llist = l(list); i(integer); c(char); s(string) list = llist * список [2, 9, ["food", "goo"], "new"] % Некоректно в Visual Prolog повинен бути представлений в Visual Prolog як: [ i(2), i(9), l([s(“food”), s(“goo")]), s(“new") ] % Коректно.
  • 68. ГРАМАТИЧНИЙ РОЗБІР СПИСКІВ Програма ілюструє граматичний розбір списків. Процес граматичного розбору працює шляхом спрощення проблеми: у прикладі перетворюється кожний рядок у структуру Прологу, яку можна використовувати або обчислити пізніше.
  • 73. 4. РЯДКИ  Предикат frontchar працює згідно рівності: String1 = об’єднання Char і String2: frontchar (Stringl, Char, String2) %(i, o, o) (i, i, o) (i, o, i) (i, i, i) (o,i, i)
  • 74. 4. РЯДКИ fronttoken (Stringl,Token,Rest) %(i, o, o) (i, i, o) (i,o,i) (i, i,i) (o, i, i)  У випадку потоку (i, o, o) fronttoken знаходить першу лексему в string1, звязує її з Token, а залишок string1 звязує з Rest.  Варіанти потока (i, i,o), (i, o, i), а також (i, i, i) служать для перевірки: якщо звязані аргументи відповідаються частинам String1 (першій лексемі, всьому, що знаходиться після першої лексеми, або ж і тому ілексемі, всьому, що знаходиться після першої лексеми, або ж і тому і другому), то fronttoken завершується успішно, інакше — неуспішно.  У випадку потоку (o, i, i), предикат створює обєднання Token і Rest, звязуючи string1 з результатом. Послідовність знаків є лексемою, якщо вона:  - імя згідно синтаксису Visual Prolog;  - число (знак є окремою лексемою);  - відмінний від «пробілу» знак.
  • 76. 4. РЯДКИ  Предикат frontstr розщеплює string1 на дві частини: frontstr(NumberOfChars, String1, StartStr, EndStr) % (i, i, o, o)  де startstr містить NumberOfChars перших символів з string1, a Endstr містить залишок.  При зверненні до frontstr перші два параметра повинні бути звязаними, а останні два — вільними.звязаними, а останні два — вільними.  Предикат concat встановлює, що рядок strings є результатом зчеплення String1 і String2: concat(Stringl,String2,StringS) %(i, i, o),(i, o, i),(o, i, i),(i, i, i)  Предикат str_len визначає або перевіряє довжину рядка або повертає рядок «пробілів» заданої довжини: str_len (StringArg, Length) % (i, o), (i, i), (o, i)