Terms containing predicate logic

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