орядок оцінки компонент (зліва направо)
Змінні
Використання змінних в Пролозі аналогічно, але не ідентично використанню їх в логіці. Запитання, що включають змінні носять перечіслітельний характер (на відміну від так-ні-питань): відповіді в цьому випадку являють собою списки термів. Наприклад, запитання В«Хто в підпорядкуванні у Анрі?В» Є питанням В«перечислительногоВ» (В«списковогоВ») типу. Відповідь БД бібліо міг би бути [Еміль, Жозеф]. p> Прологовскім еквівалентом займенника В«хтоВ» є змінна:
? - Начальник (Х, анрі). p> Відповідь тут хотілося б отримати за допомогою заміни Х на таку константу, для якої в БД знайдеться відповідний факт. Узявши константу Еміль получаем:
? - Начальник (Х, анрі). p> -> Х = Еміль
Система відповіла одним значенням змінної, перетворивши питання в істинний предикат, але почему не Жозеф і не [Еміль, Жозеф]? Для пояснення довільності вибору вникнемо в алгоритм отримання відповіді. Факти і правила БД - це не безліч, а список. Зазвичай вони текстуально впорядковані. Для отримання відповіді система переглядає БД у відповідному порядку і обирає перше задовольняє предикату питання вираз. p> Предикат питання являє собою мету. Тут це начальник (Х, анрі). p> Мета досягнута, якщо в БД вдалося знайти факт або правило, який (яке) задовольняє цій предикату. Щоб задовольнити наведеним тільки що простому предикату, потрібно мати факт виду начальник (_, анрі), тобто факт, який містить:
В· таке ж ім'я предиката (начальник),
В· стільки ж аргументів (два),
В· ті ж константи на тих же місцях (анрі на другому місці)
При виконанні цих умов факт відповідає (отже, задовольняє) предикату. У нашому прикладі годиться факт начальник (Еміль, Анрі). p align="justify"> Мінлива Х приймає значення тієї константи, яка стоїть на відповідному місці в знайденому факт. Хоча пояснювати кілька довго, але це саме те, що підказує інтуїція. p align="justify"> Ще один спосіб висловити семантику розглянутого вище питання полягає у формулюванні наступного запиту: В«Чи можна зіставити (привласнити, призначити) змінної Х такий терм, щоб результатом була формула з БД?В» Позитивну відповідь забезпечує призначення Х = Еміль. Це лише одне з можливих призначень-відповідей. Сі-Пролог в інтерактивному режимі дає всі відповіді, якщо після кожного ставити крапку з комою:
? - Начальник (Х, анрі). p align="justify"> -> Х = Еміль;
-> Х = Жозеф;
-> немає
Ні означає вичерпання можливостей.
Якщо питання? - Начальник (Х, анрі). вважати зверненням до процедури, то константа анрі буде входом, а змінна Х - результатом. Це погляд користувача, але не Прологу. У виразах, що містяться в БД, відмінність між аргументами не проводиться. Лише в питаннях змінні В«замовляютьВ» значення для відповідей, наприклад:
? - Начальник (Жозеф, Y). p align="justify"> -> Y = анрі;
-> немає
? - Начальник (Х, Y). p align="justify"> -> Х = Еміль, Y = анрі;
-> Х = Жозеф, Y = анрі;
-> немає
Змінні можна також використовувати у фактах: начальник (Х, Адемар). Це вираз є записом на Пролозі фрази В«Адемар - великий начальникВ» і логічної формули. Мета виду начальник (_, Адемар) досягається в тому випадку, якщо в БД міститься факт начальник (Х, Адемар). p> При використанні змінної в кон'юнкції мінлива встановлює зв'язок між співмножники кон'юнкції. Зрозуміло, всі входження змінної приймають одне і те ж значення. Відповідь на питання? - Начальник (Х, анрі), бібліотекар (Х). (В«Над яким бібліотекарем Анрі начальник?") Виходить шляхом послідовного задоволення двох частин (досягнення двох часткових цілей, підцілей) кон'юнкції. Перша частина начальник (Х, анрі), задовольняється фактом начальник (Еміль, Анрі). реалізують присвоювання (призначення) Х = Еміль. Якби перша підціль не досягається, то відповідь на весь питання було б - ні. Присвоєння значення змінної Х перетворює другу підціль бібліотекар (Х) в бібліотекар (Еміль) яка досягається. Повна відповідь
-> Х = Еміль.
Для отримання другого відповіді система спершу шукає другий досягнення другої підцілі. Це завжди бібліотекар (Еміль). при подальшому пробеганием по БД в установленому порядку (Дублювання виразів заборонено). Підціль тепер не досягається знову. Система повертається до попередньої підцілі начальник (Х, анрі). тобто здійснює повернення. Підціль знову досягається при використанні факту начальник (Жозеф, анрі). Звідси отримуємо присвоювання Х = Жозеф і т.д. У розглянутому нами прикладі тільки одна відповідь, бо недосяжна мета бібліотекар (Жозеф), засобами ...
