| Subject | English | Russian |
| math. | first-order predicate logic | логика предикатов первого порядка (ssn) |
| progr. | high-level language based on predicate logic | высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk) |
| progr. | logic predicate | булев предикат (ssn) |
| progr. | logic predicate | логический предикат (ssn) |
| Gruzovik, IT | predicate logic | логика исчисления предикатов |
| IT | predicate logic | логика предикатов |
| progr. | predicate logic | предикатная логика (ssn) |
| IT | predicate logic language | язык программирования, основанный на логике предикатов |
| IT | predicate logic language | язык программирования, основанный на логике предикатов |
| mech. | predicate logic language | язык основанный на логике предикатов |
| automat. | predicate logic language | язык, основанный на логике предикатов (как функций нескольких переменных) |
| Makarov. | predicate logic language | язык, основанный на логике предикатов (как функции нескольких переменных) |
| logic | predicate logic with equality | логика предикатов с равенством (Alex_Odeychuk) |
| IT | predicate logic-based language | язык программирования, основанный на логике предикатов |
| IT | predicate logic-based language | язык программирования, основанный на логике предикатов |
| math. | set predicate logic | теоретико-множественная логика предикатов |
| math. | set-theoretic predicate logic | теоретико-множественная логика предикатов |