Пролог - логический язык программирования, разработанный в 1972 году. 6 букв
(язык программирования) язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка 6 букв
Это популярный браузер, разработанный компанией Google. 6 букв