Prolog

[ˈprəʊlɒg]
«Пролог»
 Компьютерный язык программирования, основанный на математической логике. Название языка является сокращением от «PROgramming in LOGic» — «Программирование в логике».

— Игорь Мостицкий (обсуждение) 15:14, 9 января 2026 (MSK)