Terms for subject Automated equipment containing logic predicate

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