Вправи. 1.1.Базуючись на принципі силлогізму, довести:

1.1.Базуючись на принципі силлогізму, довести:

а)Якщо задані дві посилки:

Всі українці люблять пісні.

Всі кияни - українці.

Тоді буде коректним висловлення:

Всі кияни люблять пісні.

б)Якщо задані дві посилки:

Всі програмісти люблять жувальну гумку.

Деякі програмісти живуть в Києві.

Тоді буде коректним висловлення:

Деякі люди з Києва люблять жувальну гумку.

1.2.За область знань візьмемо арифметику, а областю інтерпретації будуть натуральні числа. Область інтерпретації в цьому випадку нескінченна. Побудуйте теорію цієї області, розробивши задання довільного числа в вигляді терму.

1.3.Маємо наступну множину фраз

Р(а) È ù Q(a,b)

Q(x,y) È ù R(x,y)

S(b)

R(a,b)

Потрібно вияснити, чи є фраза Р(а), наслідком існуючої множини фраз.

2.ОСНОВНІ КОНЦЕПЦІЇ ПРОЛОГУ.

Факти та правила.

При побудові речень Прологу використовується той же підхід що й в предикатних логіках. Спочатку відкидаємо всі несуттєві слова. Потім трасформуємо речення, виставляючи на перше місце відношення.

Наприклад, наступні речення трансформуються в синтаксис предикатної логіки:

Китайська авторучка зручна.

зручна(китайська_авторучка).

Вані подобається авторучка, якщо вона зручна.

подобатись(ваня,авторучка) if зручна(китайська_авторучка).

Програміст визначає об'єкти і відношення. Потім формулює правила про те, коли ці відношення справджуються. Наприклад, речення:

Ваня любить автомобілі

ілюструє відношення між об'єктами Ваня і автомобілі; зв'язком є любить. Правило, яке визначає, коли речення:

Ваня любить автомобілі

буде істинним, має вигляд:

Ваня любить автомобілі, якщо вони швидкі.

 

Факти.

В Пролозі зв'язок між об'єктами називається фактом. Факти можуть виражати як властивості, так і відношення. Так речення:

Прапор червоний. Валя - студентка.

можуть бути задані наступними фактами:

червоний(прапор) студентка(Валя).

 

Правила визначають, які висновки можна зробити із даних фактів.

Запити.

Враховуючи, що Пролог складається з множини фактів, ми можемо задавати йому питання про ці відношення у вигляді запитів. Пролог будує відповідь і виводить її до друку.

Наприклад, речення Що любить Ваня може бути трасформоване в запит любить(ваня, Що). Важливо відмітити, що перший аргумент запиту починається з маленької букви (константа), а другий аргумент починається з великої букви (Що виступає в ролі змінної). Змінні Прологу дозволяють вам записувати загальні факти і правила, а також задавати загальні питання.