Пролог - це мова програмування, розроблена Аленом Колмерауром та його колегами в Університеті Марселя в 1972 році. набір правил замість інструкцій.

Штучний інтелект, терміни комп'ютерів, програмна логіка, терміни програмування