Вправи. 1.1.Базуючись на принципі силлогізму, довести:
1.1.Базуючись на принципі силлогізму, довести:
а)Якщо задані дві посилки:
Всі українці люблять пісні.
Всі кияни - українці.
Тоді буде коректним висловлення:
Всі кияни люблять пісні.
б)Якщо задані дві посилки:
Всі програмісти люблять жувальну гумку.
Деякі програмісти живуть в Києві.
Тоді буде коректним висловлення:
Деякі люди з Києва люблять жувальну гумку.
1.2.За область знань візьмемо арифметику, а областю інтерпретації будуть натуральні числа. Область інтерпретації в цьому випадку нескінченна. Побудуйте теорію цієї області, розробивши задання довільного числа в вигляді терму.
1.3.Маємо наступну множину фраз
Р(а) È ù Q(a,b)
Q(x,y) È ù R(x,y)
S(b)
R(a,b)
Потрібно вияснити, чи є фраза Р(а), наслідком існуючої множини фраз.
2.ОСНОВНІ КОНЦЕПЦІЇ ПРОЛОГУ.
Факти та правила.
При побудові речень Прологу використовується той же підхід що й в предикатних логіках. Спочатку відкидаємо всі несуттєві слова. Потім трасформуємо речення, виставляючи на перше місце відношення.
Наприклад, наступні речення трансформуються в синтаксис предикатної логіки:
Китайська авторучка зручна.
зручна(китайська_авторучка).
Вані подобається авторучка, якщо вона зручна.
подобатись(ваня,авторучка) if зручна(китайська_авторучка).
Програміст визначає об'єкти і відношення. Потім формулює правила про те, коли ці відношення справджуються. Наприклад, речення:
Ваня любить автомобілі
ілюструє відношення між об'єктами Ваня і автомобілі; зв'язком є любить. Правило, яке визначає, коли речення:
Ваня любить автомобілі
буде істинним, має вигляд:
Ваня любить автомобілі, якщо вони швидкі.
Факти.
В Пролозі зв'язок між об'єктами називається фактом. Факти можуть виражати як властивості, так і відношення. Так речення:
Прапор червоний. Валя - студентка.
можуть бути задані наступними фактами:
червоний(прапор) студентка(Валя).
Правила визначають, які висновки можна зробити із даних фактів.
Запити.
Враховуючи, що Пролог складається з множини фактів, ми можемо задавати йому питання про ці відношення у вигляді запитів. Пролог будує відповідь і виводить її до друку.
Наприклад, речення Що любить Ваня може бути трасформоване в запит любить(ваня, Що). Важливо відмітити, що перший аргумент запиту починається з маленької букви (константа), а другий аргумент починається з великої букви (Що виступає в ролі змінної). Змінні Прологу дозволяють вам записувати загальні факти і правила, а також задавати загальні питання.