Prolog (язык программирования)

Язык логического программирования высокого уровня, созданный в 1972 году. Название PROLOG образовано из первых частей слов PROgramming и LOGic, то есть программирование с помощью логики.

Этот язык служит для решения большого круга вопросов, например, задач с элементами математической логики или автоматизации проектирования (см. также Programming).