Английский ⇄ Русский +

high-level language based on predicate logic ударения
прогр.	высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk)