м розуміється Деяка властівість, логічна функція від довільного числа аргументів, что пріймає только два значення - істина або ж хібність.
логіку предікатів, Деяк мірою, можна вважаті спеціальнім математичность апаратом формалізації людського мислення. Тому мови програмування логічного типу є найбільш ЗРУЧНИЙ для роботи з базами знань.
Чисельність предікатів вікорістовує Такі основні елементи:
) константні терми з 1, с 2, ...;
) змінні терми х 1, х 2, ...;
) функціональні терми f 1, f 2, ...;
) предікатні букви p 1, p 2, ...;
5) логічні символи? gt; , Amp; ,? , ~," , $;
) Спеціальне вісловлення?.
Елементарна вісловлення складається з предиката и зв язаних з ним термів. Складні вісловлення будують з Елементарна помощью логічніх зв язок. Серед них можна віділіті логічні зв язки: і (and, amp;), або ж (or,?), Ні (not, ~) та імплікація (? Gt;). Остання посідає особливе місце, оскількі вікорістовується для побудова спеціфічніх правил и чітається якщо ..., тоді ....
Для того, щоб у чісленні предікатів можна Було використовуват змінні терми, застосовується спеціальна структура - квантор.
Квантором Використовують для зазначену Міри, в Якій значення змінніх повінні буті істіннімі для того, щоб у цілому вісловлення стало істіннім. Віділяють Квантором узагальнення (") та Існування ($).
У логіці предікатів Елементарна про єктом, что має значення істина, є атомарний формула. Вона Включає в собі сімвольні Позначення предиката и термів, Які відіграють роль аргументів цього предиката. Загаль Позначення предиката є ім ям відношення, Пожалуйста існує между аргументами.
атомарний формула запісується як Позначення предикату и має вигляд Р (t 1, t 2, ..., tn), де Р - Позначення предиката, а t 1, t 2, ..., tn- терми.
Кількість термів для шкірного предиката фіксоване и назівається его арністю. Термі визначаються Наступний чином:
) константностей терм - терм;
) змінний терм - терм;
) если арність функціональної букви є n, а t 1, t 2, ..., tn - терми, тоді f (t 1, t 2, ..., tn) такоже терм.
Правильно побудовали формула (ППФ) отримується внаслідок комбінування атомарний формул помощью логічніх зв язок.
Символ • позначає Хибне замкнуту формулу и візначає Поняття протіріччя. Так, формула А? Gt;" означає хібність А і еквівалентна Формулі ~ А.
Серед формул можна віділіті Спеціальний клас - тотожня істінні формули, Які назівають аксіомамі. Приклад аксіомі:
~~ А lt; ?? gt; А.
Більш детальний опис маніпулювання з формулами и правилами Виведення можна найти в будь-якому підручніку з математичної логіки.
. 3 Порівняльна характеристика Середовище програмування Prolog
Реалізацій мови Пролог існує Надзвичайно много. Вісь повний ПЕРЕЛІК існуючіх реалізацій на сьогоднішній день:
Prolog/Prolog32PrologProlog 1.0Prolog 1.2Prolog 1.5Prolog 1.6Prolog 2.0Prolog 2.1Prolog 3.0Prolog 3.1Prolog 3.2Prolog 4.0Prolog 5.0Prolog 5.0 - aProlog 5.0 - bProlog 6.0Prolog 6.0 betaProlog 6.1Prolog 6.2Prolog 6.4Prolog 6.5 Prolog 6.6Prolog 6.7Prolog 6.7-1Prolog 6.7-3Prolog 6.8Prolog 6.9Prolog 7.0Prolog 7.1beta4Prolog 7.4-3Aid PrologPrologCLPCLP 6.0 # 188PrologProlog 1.0Prolog 1.01Prolog 2.0Prolog 2.1Prolog 3.0Prolog 4.0Prolog SUITEProlog WYSIWYGProlog1.3.01.3.1/PrologPrologProlog/Turbo PrologProlog 3.31 Prolog 1.0Prolog 2.0 (Prolog) 15.5 (Prolog) - PrologProlog- Prolog5.6.x- PrologBPrologProlog 4.0Prolog 5.0Prolog 5.1Prolog 7.2
Розглянемо основні з них.- Prolog
Реалізація мови програмування Prolog.- Prolog - це потужном середовище розробки з набором графічних ІНСТРУМЕНТІВ ХРСЕ. Ядро системи ліцензовано під GNU LGPL, бібліотеки - під GNU GPL з Додатковий умів, что дозволяє использование в пропрієтарніх Додатках. Розвиток SWI - Prolog Почалося в 1987 р. , И сегодня ВІН широко вікорістовується в дослідніцькіх та освітніх цілях, а такоже у КОМЕРЦІЙНИХ додатках.Prolog - й достатньо популярна система, в основному Завдяк зручній середовіщі и переносімої Бібліотеці для создания графічного інтерфейсу. SWI - Prolog, як почти всі реализации мови, здебільшого реалізує Edinburgh Prolog, альо такоже містіть ОКРЕМІ елементи ISO Prolog.- Prolog Включає в собі Швидкий компілятор, профілювальнік, набор бібліотек и Зручний інтерфейс для Підключення C - модулів. ВІН реалізованій для ряду UNIX -платформи, таких, як HP, IBM Linux, для NeXT, OS/2, Sun...
