автор (книга, 1987) f (X) Що ти говориш? (штука)
На практиці прологовская програма являє собою якусь дійсність, а терми - реальні об'єкти. Наприклад, при описі бібліотеки атомами будуть імена авторів та/або видавців, роки видання, назви і т.д., а функціями - видавництва та/або книги:
іздат (дюно, 1987) книга (жюль_верн, мішель_строгофф, іздат (Етцель, 1876))
Кожен атом - це окремий об'єкт, що вважається елементарним. Переважні мнемонічні ідентифікатори, а не анонімні (начебто х2 і bb). Те ж відноситься і до функціональних термам: краще взяти іздат (_, _), а не та (_, _). Зазначимо, що в програмі на Пролозі функціональний терм є структурою даних, складним об'єктом, який можна ефективно побудувати або аналізувати. Це не функція, що зіставляє результат набору аргументів. p align="justify"> Дані (константи) Прологу - це терми, що не мають змінних. У логіці вони називаються індивідуальна термами (а також константними термами). Числові атоми - це константи для програмування чисельних розрахунків. p align="justify"> Факти і елементарні питання
Прості предикати (атомарні формули та/або предикатні форми) формальної логіки, такі, як Автор (Ернані, Гюго) приймають значення І чи Л. Майже те ж саме має місце для фактів і питань Прологу, що не містять змінних. Простий предикат Прологу записується у вигляді функціонального терма, наприклад:
автор (ернані.гюго) дифф (Х, Х, 1) Предикат від функції відрізняють за контекстом. Прості предикати є складовими бази фактів і питань. Наведемо приклад невеликої програми, що представляє собою безліч фактів:
/* бібліо */
книга (грем, міркувати, щоб програмувати , іздат (дюно, 1986)).
книга (конділяк, пролог , іздат (дюно, 1986)).
книга (Додання, математика , іздат (Ерман, 1986)).
книга (Гюго, знедолені , іздат (пош, 1984)).
книга (Гюго, Ернані , іздат (Галлімар, 1974)).
книга (Хартман, паралельний паскаль , іздат (Шпрінгер, 1977)).
бібліотекар (Еміль).
начальник (Еміль, Анрі).
начальник (Жозева, анрі).
ідет_дождь.
Точка, що стоїть після предиката, вказує на те, що аналізованих вираз є фактом. Перший рядок - це коментар: будь-яка послідовність символів, записана між парою обмежувачів/* і * /, при виконанні ігнорується. Кожен факт, що міститься в програмі, має відповідне значення істинності і породжує (визначає) відношення між термами. Наприклад, двомісне відношення (предикат) начальник встановлено між термами Еміль і анрі, а трьохмісне ставлення книга - для 6 трійок термів і т.д. Останній факт у наведеному прикладі - йде дощ - є нульместним відношенням (які не мають аргументів). p align="justify"> Безліч фактів можна розглядати як реляційну БД. Втім, ми вживаємо поняття бази даних для позначення безлічі фактів і правил якоїсь програми. p align="justify"> З простих предикатів будують також питання, наприклад:? - Начальник (Еміль, Анрі). p align="justify"> Це вираз нового факту не встановлює, але В«система запитує про те, встановлений чи ні даний факт. Значення питання (тобто відповідь) залежить від БД. У нашому прикладі питання просте, змінні і правила відсутні. Значення є І, якщо в БД міститься факт з предикатом питання. В іншому випадку значення є Л. Все це інтуїтивно ясно. На практиці задається послідовність В«питання - відповідьВ»:
? - Начальник (Еміль, Анрі). p align="justify"> -> так
Таким чином, найпростіші програми на Пролозі реєструють елементарні факти в БД і відповідають на питання, пов'язані з цими фактами. Сама ж БД визначає деякі розширення містяться в ній відносин. Наприклад: ідет_дождь, начальник (_, _), бібліотекар (_) і книга (_, _, _). Прості питання, що не містять ніяких змінних, називаються так-ні-питаннями. Вони допускають лише дві можливі відповіді у відповідності з тим, мається або відсутній відповідний факт в БД. Семантика питання визначається станом БД при пошуку відповіді. Для БД бібліо маємо:
? - Книга (грем, міркувати, щоб програмувати , іздат (дюно, 1986)).
-> так
? - Книг...
