Terms for subject Computers containing predicates

English	Russian
first order predicate calculus	исчисление предикатов первого порядка
predicate constant	предикатная константа