Головна

Лабораторна робота № 2б. Принципи та основні конструкції мови Пролог.

Структура програми на мові Турбо-Пролог. У загальному випадку програма на Турбо-Пролозі складається з розділів: domains, database, predicates, goal, clauses. Розділ domains містить визначення доменів (класів об'єктів, що використовуються в програмі). Розділ database включає опис предикатів, що фігурують в динамічних базах даних, які використовуються в програмі. Розділ predicates є опис предикатів, що вживаються безпосередньо в самій програмі. Розділ goal формулює призначення програми (опис шуканого рішення задачі). Розділ clauses є переліком фактів і правил, які використовуються в процесі пошуку рішення задачі (здійснення мети).

Більшість програм містить не всі перераховані розділи. Так розділ domains необхідний, якщо вбудованих в Турбо-Пролог доменів (char, integer, real, string, file, symbol) для побудови програми недостатньо. Домени - це по суті аналог типів даних, що визначаються користувачем в процедурних мовах. Розділ database необхідний в тому випадку, якщо програма призначена для роботи з великими обсягами мінливих з часом даних. Розділ goal також не завжди використовується. Якщо мета (goal) задана, база знань функціонує як програма, що обчислює цю мету з урахуванням надійшли в базу даних і що містяться в розділі clauses фактів. Якщо ж мета (goal) не задана, Турбо-Пролог при кожному запуску запитує її як зовнішню, що задається користувачем мети, тобто працює як база знань, що відповідає на запити користувача. Необхідними для роботи будь-якої програми є лише розділи predicates і clauses, так як в цих розділах зосереджено опис предикатів, фактів і правил обчислення відповідей на запити користувача.

Програмування в логічних мовах полягає в побудові моделі предметної області (ПО) в термінах об'єктів, їх властивостей і відносин. Властивості і відносини об'єктів задаються за допомогою предикатів. Операції теж задаються предикатами (наприклад, предикат sum (X, Y, Z). Виконаний, якщо X + Y = Z). Найпростіша програма складається з одного або декількох фактів (тверджень). Нижче наведена така програма. Вона містить твердження про ролях в навчальному процесі чотирьох викладачів. Запустіть prolog.exe. Вибравши опцію edit, увійдіть в редактор і наберіть наведений нижче текст (примітка: для роботи набрану програму зберігати не потрібно і не слід).

/ * Програма teachers.pro * /

На природному (усіченому) англійською мовою. | Clauses


Лабораторна робота № 1a. Вивчення пакета і прикладів баз знань. | Лабораторна робота № 1б. Побудова ЕС класифікаційного типу. | Лабораторна робота № 3б. Використання повторення. | Clauses | Роботи з використанням оболонки EXSYS - 6 год. | Побудова ЕС. | Лабораторна работа7 -Ліквідность підприємства | Опис кваліфікаторів. | Побудова правил. |

© 2016-2022  um.co.ua - учбові матеріали та реферати