Анотація | prologppp

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

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

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

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