Professional Documents
Culture Documents
2 Системи Штучного Інтелекту Шаповалова
2 Системи Штучного Інтелекту Шаповалова
Лекція 2
Концепція Prolog
Питання 1
Створення Prolog
Назва Prolog, надана Philippe Roussel, - аббревіатура Programmation
en logique
Питання 2
Логічна програма -
Питання 3
Базовий принцип Прологу -
рівнозначність представленія программи і даних (декларативність).
Твердження мови одночасно можуть:
• представляти данні подібно записами в базі даних,
• бути правилами, що містять способи їх обробки.
Питання 4
Факт
Факт використовується для представлення простого взаємозв’язку
даних.
Запрошення до запиту
Виконання запиту
Запит є успішним, якщо Пролог-програма містить відповідну
інформацію, або неуспішним – у противному разі.
Форма запису:
заголовок:-
тіло.
A = adam,
know_language(X, Slang), false.
B = mike ;
know_language(Y, Slang),
A = bob,
A = bob,
X = bob ;
B = mike ;
B = pete ;
know_language(adam, engl). X = pete.
A = mike,
know_language(bob, engl). B = adam ;
A = mike,
know_language(adam, rush).
B = bob ;
know_language(mike, engl). A = pete,
false.
Представлення процедури
Процедурою називають сукупність фраз програми з одними й тими
самими іменем та арністю.
Питання 5
Консультування програм
?- consult(File).
додадає файл File до Пролог-системи
редагування/”консультування”
програми
PceEmacs вбудований редактор SWI-Prolog
Компіляція буфера