Пролог
(язык программирования) язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка 6 букв
Слово из 6 букв на букву П, вторая буква Р, третья буква О, четвертая буква Л, последняя буква Г