Узагальнення

1) Програма на Пролозi будується iз двох типiв фраз (речень): фактiв i правил. Факти - це вiдношення, або ж властивостi, про якi ви, програмiст, знаєте, що вони iстиннi. Правила - це залежнi вiдношення; вони дозволяють Прологу робити виведення, порiвнюючи одну частину iнформацiї з iншою.

2) Правила Прологу складаються з трьох частин: голови, символу, тiла.

Голова - це факт, який буде вiрним, якщо деяка кiлькiсть умов виконається. Голову ще iнодi називають заключенням, або ж вiдношенням залежностi. Символ - вiддiляє голову правила вiд тiла; може бути текстовим типу or або ж if. Тiло - це множина умов (або список файлiв), котрi повиннi бути iстинними, для того щоб Пролог мiг довести, що голова правила вiрна.

Як змiннi отримують свої значення

В Пролозi не має операцiї присвоєння. Змiннi Прологу отримують свої значення, порiвнюючи їх з константами у фактах i правилах.

Поки змiнна не отримає свого значення, вона називається вiльною, а коли отримує значення - зв'язаною. Але вона залишається зв'язаною тiльки на час, який необхiдний для отримання одного розв'зку на запит, потiм Пролог звiльнює її, повертає i шукає альтернативнi розв' язки.

Обчислювальна геометрія, комп’ютерна графіка та комп’ютерна алгебра