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