Terms for subject Automated equipment containing predicate

English	Russian
nonarithmetical predicate	неарифметический предикат
predicate calculus language	язык исчисления предикатов
predicate logic language	язык, основанный на логике предикатов (как функций нескольких переменных)