Prolog — логического программирования языка, связанного с искусственным интеллектом и компьютерной лингвистикой. Prolog имеет свои корни в логике первого порядка, формальной логике, и в отличие от многих других языков программирования, Prolog задуман в первую очередь как декларативный язык программирования: логика программы выражается в терминах отношений, представленных в виде фактов и правил. Вычисление начинается с выполнения запроса по этим отношениям.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]