🗊Презентация Пролог-процесори. Огляд особливостей

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Пролог-процесори. Огляд особливостей, слайд №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
Скачать

Содержание ▲

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

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

Слайд 1


Пролог-процесори
Описание слайда:
Пролог-процесори

Слайд 2


Детермінізм обчислень:
Описание слайда:
Детермінізм обчислень:

Слайд 3


Детермінізм обчислень: Детермінізм обчислень: підстановки (правила) застосовуються до найлівішого атому у запиті (такий принцип спряжений зі стратегією обходу дерева “вглиб зліва-направо”); при наявності кількох альтернатив порядок їх застосування визначається порядком входження у текст програми: у разі невдачі застосування поточної альтернативи має обиратись наступна; у разі отримання невдачі для усіх альтернатив доводиться робити відкат (повернення до попереднього кроку із відновленням стану). Пролог-процесори мають забезпечувати реалізацію відкатів. Увага! Можуть бути “зациклення” (з’являється нескінчена гілка)! (Ефект – переповнення стеку).
Описание слайда:
Детермінізм обчислень: Детермінізм обчислень: підстановки (правила) застосовуються до найлівішого атому у запиті (такий принцип спряжений зі стратегією обходу дерева “вглиб зліва-направо”); при наявності кількох альтернатив порядок їх застосування визначається порядком входження у текст програми: у разі невдачі застосування поточної альтернативи має обиратись наступна; у разі отримання невдачі для усіх альтернатив доводиться робити відкат (повернення до попереднього кроку із відновленням стану). Пролог-процесори мають забезпечувати реалізацію відкатів. Увага! Можуть бути “зациклення” (з’являється нескінчена гілка)! (Ефект – переповнення стеку).

Слайд 4


1) Предок(X,Y):-Батько(X,Y). 1) Предок(X,Y):-Батько(X,Y). 2) Предок(X,Y):-Батько(X,Z), Предок(Z,Y). 3) Батько(дідІван, дядькоЛука). 4) Батько(дідІван, батькоВасиль). 5) Батько(батькоВасиль, малийПетрик).
Описание слайда:
1) Предок(X,Y):-Батько(X,Y). 1) Предок(X,Y):-Батько(X,Y). 2) Предок(X,Y):-Батько(X,Z), Предок(Z,Y). 3) Батько(дідІван, дядькоЛука). 4) Батько(дідІван, батькоВасиль). 5) Батько(батькоВасиль, малийПетрик).

Слайд 5


11) Предок(X,Y):- Предок(X,Z),Батько(Z,Y). 11) Предок(X,Y):- Предок(X,Z),Батько(Z,Y). 21) Предок(X,Y):- Батько(X,Y). 3) Батько(дідІван, дядькоЛука). 4) Батько(дідІван, батькоВасиль). 5) Батько(батькоВасиль, малийПетрик).
Описание слайда:
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). %forefather, ancestor ff(X,Y):-ff(X,Z),f(Z,Y). %forefather, ancestor ff(X,Y):-f(X,Y). f('Іван','Петро'). f('Петро','Лука').
Описание слайда:
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


Стандартні предикати: Стандартні предикати: cut (є скорочена форма “!”) – відсікання (або закріплення вибору); fail – предикат, спряжений із примусовим запуском відкату.
Описание слайда:
Стандартні предикати: Стандартні предикати: cut (є скорочена форма “!”) – відсікання (або закріплення вибору); fail – предикат, спряжений із примусовим запуском відкату.

Слайд 8


До техніки Prolog-програмування. Пошук множин розв’язків
Описание слайда:
До техніки Prolog-програмування. Пошук множин розв’язків

Слайд 9


Пролог-процесори. Огляд особливостей, слайд №9
Описание слайда:

Слайд 10


Пролог-процесори. Огляд особливостей, слайд №10
Описание слайда:

Слайд 11


Пролог-процесори. Огляд особливостей, слайд №11
Описание слайда:

Слайд 12


До техніки Prolog-програмування. Скорочувані правила
Описание слайда:
До техніки Prolog-програмування. Скорочувані правила

Слайд 13


Пролог-процесори. Огляд особливостей, слайд №13
Описание слайда:

Слайд 14


Пролог-процесори. Огляд особливостей, слайд №14
Описание слайда:

Слайд 15


Пролог-процесори. Огляд особливостей, слайд №15
Описание слайда:

Слайд 16


Використовується для припинення обчислень для заданої “гілки” (часто після перевірки даних та визначення їх не коректними). Використовується для припинення обчислень для заданої “гілки” (часто після перевірки даних та визначення їх не коректними). Приклад.
Описание слайда:
Використовується для припинення обчислень для заданої “гілки” (часто після перевірки даних та визначення їх не коректними). Використовується для припинення обчислень для заданої “гілки” (часто після перевірки даних та визначення їх не коректними). Приклад.

Слайд 17


Цей предикат дозволяє відкат “розвернути” (запустити черговий крок циклічних обчислень). Цей предикат дозволяє відкат “розвернути” (запустити черговий крок циклічних обчислень).
Описание слайда:
Цей предикат дозволяє відкат “розвернути” (запустити черговий крок циклічних обчислень). Цей предикат дозволяє відкат “розвернути” (запустити черговий крок циклічних обчислень).

Слайд 18


Пролог-процесори. Огляд особливостей, слайд №18
Описание слайда:

Слайд 19


Пролог-процесори. Огляд особливостей, слайд №19
Описание слайда:

Слайд 20


Знайти список позицій входжень елемента X у список L. Знайти список позицій входжень елемента X у список L.
Описание слайда:
Знайти список позицій входжень елемента X у список L. Знайти список позицій входжень елемента X у список L.

Слайд 21


Знайти у списку L перший (найлівіший) елемент, більший за X, забезпечуючи пошук як значення, так і його позицію у списку. Знайти у списку L перший (найлівіший) елемент, більший за X, забезпечуючи пошук як значення, так і його позицію у списку.
Описание слайда:
Знайти у списку L перший (найлівіший) елемент, більший за X, забезпечуючи пошук як значення, так і його позицію у списку. Знайти у списку L перший (найлівіший) елемент, більший за X, забезпечуючи пошук як значення, так і його позицію у списку.

Слайд 22


Пролог-процесори. Огляд особливостей, слайд №22
Описание слайда:

Слайд 23


Знайти у списку L останній (найправіший) з елементів, більших за X, забезпечуючи пошук як значення, так і його позицію у списку. Знайти у списку L останній (найправіший) з елементів, більших за X, забезпечуючи пошук як значення, так і його позицію у списку.
Описание слайда:
Знайти у списку L останній (найправіший) з елементів, більших за X, забезпечуючи пошук як значення, так і його позицію у списку. Знайти у списку L останній (найправіший) з елементів, більших за X, забезпечуючи пошук як значення, так і його позицію у списку.

Слайд 24


Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. (Задача на зразок 50). Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. (Задача на зразок 50).
Описание слайда:
Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. (Задача на зразок 50). Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. (Задача на зразок 50).

Слайд 25


Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.
Описание слайда:
Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.

Слайд 26


Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.
Описание слайда:
Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку. Повставляти елементи одного списку у впорядкований за зростанням другий список. Сформувати список із номерами позицій, які займають вставлені елементи в новому списку.

Слайд 27


Пролог-процесори. Огляд особливостей, слайд №27
Описание слайда:

Слайд 28


Додаток 1
Описание слайда:
Додаток 1

Слайд 29


Пролог-процесори. Огляд особливостей, слайд №29
Описание слайда:

Слайд 30


Пролог-процесори. Огляд особливостей, слайд №30
Описание слайда:

Слайд 31


Пролог-процесори. Огляд особливостей, слайд №31
Описание слайда:

Слайд 32


Пролог-процесори. Огляд особливостей, слайд №32
Описание слайда:

Слайд 33


Пролог-процесори. Огляд особливостей, слайд №33
Описание слайда:

Слайд 34


Пролог-процесори. Огляд особливостей, слайд №34
Описание слайда:

Слайд 35


Додаток 2
Описание слайда:
Додаток 2

Слайд 36


Пролог-процесори. Огляд особливостей, слайд №36
Описание слайда:

Слайд 37


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

Слайд 38


Пролог-процесори. Огляд особливостей, слайд №38
Описание слайда:

Слайд 39


Пролог-процесори. Огляд особливостей, слайд №39
Описание слайда:

Слайд 40


Пролог-процесори. Огляд особливостей, слайд №40
Описание слайда:

Слайд 41


Пролог-процесори. Огляд особливостей, слайд №41
Описание слайда:

Слайд 42


Додаток 3
Описание слайда:
Додаток 3

Слайд 43


Пролог-процесори. Огляд особливостей, слайд №43
Описание слайда:

Слайд 44


Пролог-процесори. Огляд особливостей, слайд №44
Описание слайда:

Слайд 45


Пролог-процесори. Огляд особливостей, слайд №45
Описание слайда:

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию