8.1. Елементи логічного програмування. Вступ до мови програмування Пролог (16 год)

Поняття про мови подання знань, що ґрунтуються на логіці. Особливості логічного програмування. Порівняння логічного програмування з процедурно-орієнтованим. Створення мови Пролог. Основні поняття та принципи мови Пролог. Структура та склад мови. Приклади запису програм мовою Пролог.

Графічні предикати мови Пролог. Композиція графічних предикатів Рекурсивні описи. Арифметичні предикати. Рекурсивні подання числових функцій.

Факти і правила на мові Пролог. Предикатна форма подання фактів. Бази даних мови програмування Пролог. Прості запита. Складені запити. Правила виведення. Поняття бази знань. Визначення понять в Пролозі. Логічні зв’язки в, або, не. Судження. Міркування. Принципи пошуку відповіді в Пролозі. Предикати над списками. Належність елемента до списку. Включення списків.

Учні повинні знати:

• відмінність логічної мови програмування від процедурної;

• структуру та склад мови програмування Пролог;

• поняття висловлення;

• поняття твердження;

• поняття факту;

• поняття бази даних мови Пролог;

• поняття простого та складеного запиту;

• поняття правила та його структури;

• поняття бази знань;

• поняття списку та його рекурсивне означення;

• основні предикати роботи зі списками;

• методи розв’язування задач на списки;

• розв’язування класичних задач за допомогою списків;

• методи розв’язування переборних задач.

Учні повинні вміти:

• записувати факти в предикатній формі;

• складати і записувати найпростіші бази даних мовою Пролог;

• працювати із системою програмування (вводити і редагувати тексти програм, зчитувати і записувати їх у файл);

• організувати простий та складений запит без використання і з використанням змінної.

• переводити правило, записане мовою Пролог, на звичайну мову;

• записувати правило мовою Пролог;

• складати найпростіші бази знань за формулюванням задач;

• розв’язувати задачі з використанням баз знань.

• наводити приклади списків;

• виконувати задачі на списки в режимі ручного трасування;

• розв’язувати задачі на списки за допомогою основних предикатів роботи зі списками;

• розв’язувати задачі на списки без допомоги основних предикатів роботи зі списками;

• розв’язувати задачі перебору.