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

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Пролог-процесори. Огляд особливостей абсолютно бесплатно. Урок-презентация на эту тему содержит всего 45 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Устройства и комплектующие » Пролог-процесори. Огляд особливостей

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

45 слайдов
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

1.29 MB
Просмотров:

59
Скачиваний:

0
Автор:

неизвестен

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

№1 слайд

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

№2 слайд

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

№3 слайд

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

№4 слайд

Содержание слайда: 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) Батько(батькоВасиль, малийПетрик).

№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('Петро','Лука').

№7 слайд

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

№8 слайд

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

№9 слайд

Содержание слайда:

№10 слайд

Содержание слайда:

№11 слайд

Содержание слайда:

№12 слайд

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

№13 слайд

Содержание слайда:

№14 слайд

Содержание слайда:

№15 слайд

Содержание слайда:

№16 слайд

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

№17 слайд

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

№18 слайд

Содержание слайда:

№19 слайд

Содержание слайда:

№20 слайд

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

№21 слайд

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

№22 слайд

Содержание слайда:

№23 слайд

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

№24 слайд

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

№25 слайд

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

№26 слайд

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

№27 слайд