Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
45 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
1.29 MB
Просмотров:
59
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![Пролог-процесори](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img0.jpg)
Содержание слайда: Пролог-процесори
№2 слайд![Детерм н зм обчислень](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img1.jpg)
Содержание слайда: Детермінізм обчислень:
№3 слайд![Детерм н зм обчислень Детерм](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img2.jpg)
Содержание слайда: Детермінізм обчислень:
Детермінізм обчислень:
підстановки (правила) застосовуються до найлівішого атому у запиті (такий принцип спряжений зі стратегією обходу дерева “вглиб зліва-направо”);
при наявності кількох альтернатив порядок їх застосування визначається порядком входження у текст програми:
у разі невдачі застосування поточної альтернативи має обиратись наступна;
у разі отримання невдачі для усіх альтернатив доводиться робити відкат (повернення до попереднього кроку із відновленням стану).
Пролог-процесори мають забезпечувати реалізацію відкатів.
Увага! Можуть бути “зациклення” (з’являється нескінчена гілка)! (Ефект – переповнення стеку).
№4 слайд![Предок X,Y -Батько X,Y .](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img3.jpg)
Содержание слайда: 1) Предок(X,Y):-Батько(X,Y).
1) Предок(X,Y):-Батько(X,Y).
2) Предок(X,Y):-Батько(X,Z), Предок(Z,Y).
3) Батько(дідІван, дядькоЛука).
4) Батько(дідІван, батькоВасиль).
5) Батько(батькоВасиль, малийПетрик).
№5 слайд![Предок X,Y - Предок X,Z](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img4.jpg)
Содержание слайда: 11) Предок(X,Y):- Предок(X,Z),Батько(Z,Y).
11) Предок(X,Y):- Предок(X,Z),Батько(Z,Y).
21) Предок(X,Y):- Батько(X,Y).
3) Батько(дідІван, дядькоЛука).
4) Батько(дідІван, батькоВасиль).
5) Батько(батькоВасиль, малийПетрик).
№6 слайд![ff X,Y -ff X,Z ,f Z,Y .](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img5.jpg)
Содержание слайда: ff(X,Y):-ff(X,Z),f(Z,Y). %forefather, ancestor
ff(X,Y):-ff(X,Z),f(Z,Y). %forefather, ancestor
ff(X,Y):-f(X,Y).
f('Іван','Петро').
f('Петро','Лука').
№7 слайд![Стандартн предикати Стандартн](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img6.jpg)
Содержание слайда: Стандартні предикати:
Стандартні предикати:
cut (є скорочена форма “!”) – відсікання (або закріплення вибору);
fail – предикат, спряжений із примусовим запуском відкату.
№8 слайд![До техн ки](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img7.jpg)
Содержание слайда: До техніки Prolog-програмування.
Пошук множин розв’язків
№9 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img8.jpg)
№10 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img9.jpg)
№11 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img10.jpg)
№12 слайд![До техн ки](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img11.jpg)
Содержание слайда: До техніки Prolog-програмування.
Скорочувані правила
№13 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img12.jpg)
№14 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img13.jpg)
№15 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img14.jpg)
№16 слайд![Використову ться для](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img15.jpg)
Содержание слайда: Використовується для припинення обчислень для заданої “гілки” (часто після перевірки даних та визначення їх не коректними).
Використовується для припинення обчислень для заданої “гілки” (часто після перевірки даних та визначення їх не коректними).
Приклад.
№17 слайд![Цей предикат дозволя в дкат](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img16.jpg)
Содержание слайда: Цей предикат дозволяє відкат “розвернути” (запустити черговий крок циклічних обчислень).
Цей предикат дозволяє відкат “розвернути” (запустити черговий крок циклічних обчислень).
№18 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img17.jpg)
№19 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img18.jpg)
№20 слайд![Знайти список позиц й](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img19.jpg)
Содержание слайда: Знайти список позицій входжень елемента X у список L.
Знайти список позицій входжень елемента X у список L.
№21 слайд![Знайти у списку L перший найл](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img20.jpg)
Содержание слайда: Знайти у списку L перший (найлівіший) елемент, більший за X, забезпечуючи пошук як значення, так і його позицію у списку.
Знайти у списку L перший (найлівіший) елемент, більший за X, забезпечуючи пошук як значення, так і його позицію у списку.
№22 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img21.jpg)
№23 слайд![Знайти у списку L останн й](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img22.jpg)
Содержание слайда: Знайти у списку L останній (найправіший) з елементів, більших за X, забезпечуючи пошук як значення, так і його позицію у списку.
Знайти у списку L останній (найправіший) з елементів, більших за X, забезпечуючи пошук як значення, так і його позицію у списку.
№24 слайд![Повставляти елементи одного](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img23.jpg)
Содержание слайда: Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. (Задача на зразок 50).
Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. (Задача на зразок 50).
№25 слайд![Повставляти елементи одного](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img24.jpg)
Содержание слайда: Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.
Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.
№26 слайд![Повставляти елементи одного](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img25.jpg)
Содержание слайда: Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.
Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.
№27 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img26.jpg)
№28 слайд![Додаток](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img27.jpg)
Содержание слайда: Додаток 1
№29 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img28.jpg)
№30 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img29.jpg)
№31 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img30.jpg)
№32 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img31.jpg)
№33 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img32.jpg)
№34 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img33.jpg)
№35 слайд![Додаток](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img34.jpg)
Содержание слайда: Додаток 2
№36 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img35.jpg)
№37 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img36.jpg)
№38 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img37.jpg)
№39 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img38.jpg)
№40 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img39.jpg)
№41 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img40.jpg)
№42 слайд![Додаток](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img41.jpg)
Содержание слайда: Додаток 3
№43 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img42.jpg)
№44 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img43.jpg)
№45 слайд![](/documents_6/6d23f48607b84b5757f3d86fbe8fe864/img44.jpg)