Terms containing predicate logic language

Subject	English	Russian
progr.	high-level language based on predicate logic	высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk)
IT	predicate logic language	язык программирования, основанный на логике предикатов
IT	predicate logic language	язык программирования, основанный на логике предикатов
mech.	predicate logic language	язык основанный на логике предикатов
automat.	predicate logic language	язык, основанный на логике предикатов (как функций нескольких переменных)
Makarov.	predicate logic language	язык, основанный на логике предикатов (как функции нескольких переменных)
IT	predicate logic-based language	язык программирования, основанный на логике предикатов
IT	predicate logic-based language	язык программирования, основанный на логике предикатов