אנגלית ⇄ רוסית +

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