| Subject | Russian | English |
| math. | алгебраический предикат | algebraic predicate |
| el. | аналитический предикат | analytical predicate |
| math. | аналитический предикат | analytic predicate |
| progr. | анонимный предикат | anonymous predicate (Alex_Odeychuk) |
| math. | антигенерируемый предикат | antigenerable |
| mech. | аппарат исчисления предикатов | predicate calculus machinery |
| IT | арифметика предикатов | predicative arithmetic |
| math. | арифметический предикат | arithmetical predicate |
| math. | n-арный предикат | n-ary predicate |
| math. | ассоциированные предикаты | associated predicates |
| ling. | атомарный предикат | elementary predicate |
| ling. | атомарный предикат | atomic predicate |
| math. | атомный предикат | atomic predicate |
| math. | базисный предикат | basic predicate |
| ling. | базовый предикат | basic predicate (Alexander Ptashkin) |
| progr. | библиотечный предикат | library predicate (University of Melbourne, Австралия Alex_Odeychuk) |
| math. | бинарное исчисление предикатов | binary functional calculus |
| AI. | блокировка на уровне группы предикатов | per-predicate-set lock (Alex_Odeychuk) |
| AI. | блокировка на уровне предиката | per-predicate lock (Alex_Odeychuk) |
| el. | булев предикат | Boolean predicate |
| progr. | булев предикат | logic predicate (ssn) |
| progr. | в терминах исчисления предикатов | in a predicate calculus (ssn) |
| math. | вспомогательный предикат | auxiliary predicate |
| progr. | встроенный предикат | built-in predicate (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | встроенный предикат объекта | built-in object predicate (Alex_Odeychuk) |
| math. | всюду определённый предикат | total predicate |
| progr. | вывод типов, режима передачи параметров и детерминизма предикатов | type, mode, and determinism inference (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | вызвать предикат объекта | invoke the object predicate (метод экземпляра класса (метод интерфейса) в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| progr. | вызов динамического предиката | call to a dynamic predicate (Alex_Odeychuk) |
| progr. | вызов предиката | call to the predicate (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | вызов предиката | predicate call (Alex_Odeychuk) |
| progr. | вызов предикатов | predicated calls (Alex_Odeychuk) |
| progr. | вызов предикатов, инкапсулированных в модулях | calls to predicates encapsulated in modules (Alex_Odeychuk) |
| progr. | вызов предикатов объекта | call object predicates (Alex_Odeychuk) |
| AI. | вызовы предикатов | predicated calls (Alex_Odeychuk) |
| AI. | вызывать предикат объекта | call an object's predicate (Alex_Odeychuk) |
| progr. | выполнить вызов импортированного определения предиката | call an imported predicate definition (Alex_Odeychuk) |
| progr. | выполнить вызов унаследованного определения предиката | call an inherited predicate definition (Alex_Odeychuk) |
| math. | выполняющий предикат | satisfying predicate |
| math. | выразимый предикат | expressible predicate |
| math. | вырожденный предикат | singular predicate |
| progr. | высказывания в исчислении предикатов | predicate calculus propositions (ssn) |
| progr. | высокоуровневый язык программирования, основанный на логике предикатов | high-level language based on predicate logic (Alex_Odeychuk) |
| progr. | вычисление предикатов переполнения | compute the overflow predicate (ssn) |
| tech. | вычислимый предикат | computable predicate |
| math. | геделев предикат | Godel predicate |
| math. | генерируемый предикат | generable predicate |
| math. | гиперарифметический предикат | hyperarithmetical predicate |
| ling. | гипотактические риторические предикаты | hypotactic rhetorical predicates |
| ling. | глагол или предикат суждения или оценки | judgmental (Falbhanachaich) |
| math. | гомоморфно устойчивый предикат | homomorphically stable predicate |
| progr. | граф вызова предикатов | predicate call graph (Alex_Odeychuk) |
| AI. | группа предикатов | set of predicates (Alex_Odeychuk) |
| math. | двузначное исчисление предикатов | two-valued predicate calculus (классическое) |
| math. | двуместный предикат | two-place predicate |
| math. | двуместный предикат | dyadic predicate |
| math. | двуместный предикат | binary predicate |
| math. | дедуктивное исчисление предикатов | deductive predicate calculus |
| ling. | деление на субъект и предикат | subject predicate division (ssn) |
| progr. | детерминированный предикат | deterministic predicate (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | дизъюнкт предиката | predicate clause (Alex_Odeychuk) |
| math. | дизъюнктивно определимый предикат | disjunctively definable predicate |
| progr. | динамический предикат | dynamic predicate (Alex_Odeychuk) |
| math. | диофантов предикат | Diophantine predicate |
| AI. | директива предиката | predicate directive (Alex_Odeychuk) |
| math. | дополнение предиката | complement of predicate |
| progr. | древесное представление предикатов | tree structure of predicates (ssn) |
| progr. | древовидная структура предикатов | tree structure of predicates (ssn) |
| el. | закрывать предикаты | quantify |
| el. | закрытие предикатов | quantification |
| progr. | значение, не совместимое с предикатом типа | non-conformant value (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| math. | иерархия предикатов | predicate hierarchy |
| gram. | именной предикат | nominal predicate (ssn) |
| progr. | импортированное определение предиката | imported predicate definition (Alex_Odeychuk) |
| progr. | импортированный предикат | imported predicate (Alex_Odeychuk) |
| math. | инвариантный предикат | invariant predicate |
| math. | индивидный предикат | individual predicate |
| IT | индуктивный предикат | induction predicate |
| math. | индукционный предикат | induction predicate |
| progr. | интегральный предикат | integral predicate (habr.com dimock) |
| progr. | интенциональный предикат | intensional predicate (в языке логического программирования Datalog Alex_Odeychuk) |
| progr. | интерпретация предиката | predicate interpretation (предикат считается интерпретированным, если он выражен через входные значения. Интерпретация предиката зависит от выбора пути. Это означает, что можно получить эквивалентный предикат, следуя в вычислениях по определенному пути, ведущему к этому предикату. См. Black-box testing: techniques for functional testing of software and systems by Boris Beizer (1995) ssn) |
| progr. | использование в предикате | predicate use (ssn) |
| math. | исчерпывающий предикат | exhaustive predicate |
| math. | исчисление одноместных предикатов | one-place predicate calculus |
| math. | исчисление одноместных предикатов | monadic predicate calculus |
| math. | исчисление предикатов | PC (predicate calculus) |
| math. | исчисление предикатов | predicate calculus |
| tech. | исчисление предикатов | predicative calculus |
| IT | исчисление предикатов : | predicate calculus |
| tech. | исчисление предикатов | functional calculus |
| math. | исчисление предикатов без равенства | predicate calculus without identity |
| math. | исчисление предикатов высших порядков | higher predicate calculus |
| progr. | исчисление предикатов и доказательство теорем | predicate calculus and proving theorems (ssn) |
| IT | исчисление предикатов N-ого порядка | N-order logic |
| comp. | исчисление предикатов первого порядка | first-order logic |
| math. | исчисление предикатов первого порядка | functional calculus of first order (ssn) |
| comp. | исчисление предикатов первого порядка | elementary logic |
| comp. | исчисление предикатов первого порядка | first order predicate calculus |
| math. | исчисление предикатов с несколькими сортами переменных | several-sorted predicate calculus |
| math. | исчисление предикатов с обобщением | predicate calculus with generalization |
| math. | исчисление предикатов с переменными нескольких видов | several-sorted predicate calculus |
| math. | исчисление предикатов с равенством | predicate calculus with identity |
| progr. | категорийный предикат | category predicate (в языке логического параллельного объектно-ориентированного программирования Logtalk Alex_Odeychuk) |
| math. | квазирекурсивный предикат | quasirecursive predicate |
| philos. | квантификация предиката | quantification of the predicate |
| progr. | класс предикатов | predicate class (Alex_Odeychuk) |
| math. | классическое исчисление предикатов | classical predicate calculus |
| progr. | команды предикатов сравнения | comparison predicate instructions (ssn) |
| ling. | коммуникативный предикат | communicative predicate |
| math. | конструктивное исчисление предикатов | constructive predicate calculus |
| progr. | коррелированные предикаты | correlated predicates (два или более предикатов в пути модели называются коррелированными, если значение истинности для одного из них определяет значения истинности для всех остальных предикатов в этом пути ssn) |
| progr. | краткое введение в исчисление предикатов | brief introduction to predicate calculus (ssn) |
| Gruzovik, IT | логика исчисления предикатов | predicate logic |
| IT | логика предикатов | predicate logic |
| math. | логика предикатов | quantificational logic |
| comp. | логика предикатов второго порядка | second order logic |
| math. | логика предикатов первого порядка | first-order predicate logic (ssn) |
| el. | логика предикатов первого порядка | first-order logic |
| math. | логика предикатов первого порядка | first-order logic (= first-order predicate logic ssn) |
| logic | логика предикатов с равенством | predicate logic with equality (Alex_Odeychuk) |
| progr. | логический предикат | logic predicate (ssn) |
| progr. | логический предикат | logical predicate (предложение или выражение, которое может принимать логическое значение TRUE или FALSE ssn) |
| progr. | локальный предикат | local predicate (Alex_Odeychuk) |
| math. | n-местный предикат | n-place predicate |
| math. | n-местный предикат | n-argument predicate |
| progr. | металогический предикат | metalogic predicate (Alex_Odeychuk) |
| math. | метаматематический предикат | metamathematical predicate |
| ling. | миропорождающий предикат | world-creative predicate |
| ling. | миропорождающий предикат | world-creative operator |
| math. | многозначное исчисление предикатов | multivalued predicate calculus |
| el. | многоместный предикат | multi-place predicate |
| math. | многоместный предикат | multiplace predicate |
| progr. | многопоточный встроенный предикат | multi-threading built-in predicate (Alex_Odeychuk) |
| progr. | многофайловый предикат | multifile predicate (Alex_Odeychuk) |
| progr. | множество предикатов | predicate set (Alex_Odeychuk) |
| gen. | могущий быть предикатом | predicable |
| math. | модальное исчисление предикатов | modal predicate calculus |
| progr. | моделирование составных предикатов | modeling compound predicates (ssn) |
| AI. | может быть выполнено сопоставление с приватным предикатом | may match a private predicate (Alex_Odeychuk) |
| math. | мультипликативно устойчивый предикат | multiplicatively stable predicate |
| progr. | набор предикатов | set of predicates (Alex_Odeychuk) |
| math. | насыщенный предикат | saturable predicate |
| automat. | неарифметический предикат | nonarithmetical predicate |
| progr. | недетерминированный предикат | non-deterministic predicate (Alex_Odeychuk) |
| progr. | независимые предикаты | independent predicates (два или более предикатов в пути модели называются независимыми, если их значения истинности (TRUE/FALSE) формируются независимо друг от друга ssn) |
| progr. | неопределённый предикат | undefined predicate (Alex_Odeychuk) |
| math. | неразложимый предикат | irreducible predicate |
| math. | неразрешимый предикат | undecidable predicate |
| progr. | нерекурсивный предикат | nonrecursive predicate (Alex_Odeychuk) |
| progr. | неудачная проверка предиката | predicate check failure (корпорации AdaCore Alex_Odeychuk) |
| progr. | неуспешно выполнять проверку предиката | fail a predicate check (Alex_Odeychuk) |
| el. | нечёткий предикат | fuzzy predicate (ssn) |
| math. | нижнее исчисление предикатов | LPC (lower predicate calculus) |
| math. | нульарный предикат | nullary predicate |
| el. | нульместный предикат | niladic predicate |
| math. | нумерически выразимый предикат | numeralwise expressible predicate |
| math. | нумерически разрешимый предикат | numeralwise decidable predicate |
| progr. | область видимости предиката | predicate scope (Alex_Odeychuk) |
| math. | область предикатов | predicate domain |
| progr. | обобщённый предикат | generalized predicate (Alex_Odeychuk) |
| el. | образование высказываний из предикатов | quantification |
| el. | образовывать высказывания из предикатов | quantify |
| math. | общерекурсивный предикат | general recursive predicate |
| progr. | объект, содержащий определение предиката | object containing the predicate definition (the ~ Alex_Odeychuk) |
| progr. | объектно-ориентированный предикат | object-oriented predicate (Alex_Odeychuk) |
| progr. | объявление предиката | predicate declaration (Alex_Odeychuk) |
| math. | ограниченный предикат | bounded predicate |
| math. | одноместное исчисление предикатов | one-place predicate calculus |
| math. | одноместный предикат | unitary predicate |
| math. | одноместный предикат | one-place predicate |
| el. | одноместный предикат | unary predicate |
| math. | одноместный предикат | monadic predicate |
| progr. | операция вызова предиката | predicate call operation (Alex_Odeychuk) |
| math. | определимый предикат | definable predicate |
| math. | отобразимый предикат | resolvable predicate |
| ling. | оценочный предикат | predicate of evaluation |
| ling. | оценочный предикат | evaluative predicate |
| ling. | падежная структура предиката | case structure of predicate |
| progr. | пакет предикатов, функторов и операторов | package of predicates, functors and operators (Alex_Odeychuk) |
| logic | парный предикат | pair predicate (IF-logic Unbewusst) |
| progr. | передаваться в предикат | be passed to the predicate (Alex_Odeychuk) |
| math. | переменный предикат | variable predicate |
| progr. | переопределение предиката | predicate redefinition (Alex_Odeychuk) |
| math. | перечислимый предикат | enumerable predicate |
| Makarov. | по критерию же отношения субъекта к предикату все суждения делятся на простые, или абсолютные, и на условные | in respect to the Relation of the Predicate to the Subject, Judgments are divided into simple or absolute, and conditional |
| progr. | повторное использование предикатов | reuse of predicates (Alex_Odeychuk) |
| ling. | подъём предиката | predicate raising |
| ling. | подъём предиката | predicate lifting |
| math. | позитивно вычислимый предикат | positively calculable predicate |
| math. | позитивно формульный предикат | positive-formula predicate |
| math. | позитивное исчисление предикатов | positive predicate calculus |
| math. | полиномиальный предикат | polynomial predicate |
| math. | полностью определённый предикат | completely defined predicate |
| math. | полностью представимый предикат | completely representable predicate |
| comp., MS | полнотекстовый предикат | full-text predicate (Alex_Odeychuk) |
| math. | полный предикат | complete predicate |
| math. | полуарифметический предикат | semiarithmetical predicate |
| math. | полувычислимый предикат | semicomputable predicate |
| progr. | пользовательский предикат | user-defined predicate (Alex_Odeychuk) |
| progr. | порядок вычисления в случае применения нескольких предикатов | order of evaluation when multiple predicates apply (Alex_Odeychuk) |
| math. | предикат второго порядка | second-order predicate |
| mech. | предикат выбора | choice predicate |
| progr. | предикат выбора | selector predicate (выражение, которое может принимать более двух значений и служит для выбора одного из нескольких вариантов. Термин "предикат" часто используется для обозначения как логических предикатов, так и предикатов выбора ssn) |
| math. | предикат высшего порядка | higher-order predicate |
| math. | предикат вычислимости | computability predicate |
| el. | предикат n-го порядка | nth order predicate |
| progr. | предикат для поддержки рефлексии | reflection predicate (Alex_Odeychuk) |
| AI. | предикат класса | class predicate (статический метод класса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| progr. | предикат нулевой арности | predicate of arity zero (Alex_Odeychuk) |
| progr. | предикат, обеспечивающий поддержку рефлексии | reflection predicate (Alex_Odeychuk) |
| progr. | предикат, обрабатываемый во время компиляции | compile-time predicate (Alex_Odeychuk) |
| AI. | предикат объекта | object predicate (метод интерфейса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| progr. | предикат, объявленный для объекта-получателя | predicate declared for the receiving object (Alex_Odeychuk) |
| ling. | предикат оценки | predicate of evaluation |
| math. | предикат первого порядка | first-order predicate |
| progr. | предикат-переключатель | selector predicate (ssn) |
| progr. | предикат переполнения | overflow predicate (ssn) |
| progr. | предикат поддержки рефлексии | reflection predicate (Alex_Odeychuk) |
| progr. | предикат подтипа | predicate of a subtype (корпорации AdaCore Alex_Odeychuk) |
| progr. | предикат подтипа | subtype predicate (средство контрактного программирования в языке программирования Ada 2012 Alex_Odeychuk) |
| math. | предикат предикатов | predicate of predicates |
| math. | предикат равенства | equality predicate |
| mech. | предикат с отрицанием | negated predicate |
| math. | предикат со свободной переменной | predicate with free variable |
| comp., MS | предикат события | event predicate (SQL Server 2012 ssn) |
| AI. | предикат создания объекта | object creation predicate (Alex_Odeychuk) |
| progr. | предикат сравнения | comparison predicate (ssn) |
| psychol. | предикат суждения | term |
| Makarov. | предикат суждения | major term |
| progr. | предикат типа | type predicate (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| IT | предикат тождественности | sameness predicate |
| progr. | предикат удаления объекта | object deletion predicate (Alex_Odeychuk) |
| progr. | предикат управления циклом | loop control predicate (предикат в узле управления циклом, значение которого определяет, будет цикл выполняться или нет ssn) |
| el. | предикат Хорна | Horn predicate |
| progr. | предикаты входа / выхода | exit/entry predicates |
| progr. | предикаты над данными | predicates on data (ssn) |
| progr. | предикаты сравнения | comparison predicates (представляют собой функции, которые сравнивают две величины и возвращают однобитовый результат, равный 1, если проверяемое отношение истинно, и 0, если ложно ssn) |
| progr. | предикаты, функторы и операторы | predicates, functors and operators (Alex_Odeychuk) |
| math. | представимый предикат | representable predicate |
| progr. | представление предикатов деревьями | tree structure of predicates (ssn) |
| el. | представлять в виде предиката | predicate |
| math. | представляющий предикат | representing predicate |
| IT | преобразователь предикатов | predicate transformer |
| AI. | приватный предикат | private predicate (Alex_Odeychuk) |
| progr. | приводить к выполнению проверки предиката | make a predicate check (Alex_Odeychuk) |
| math. | прикладное исчисление предикатов | applied predicate calculus |
| IT | применяемость предиката | predicate selectivity (характеризующая частоту его использования) |
| el. | примитивно рекурсивный предикат | primitively recursive predicate |
| math. | примитивно рекурсивный предикат | primitive recursive predicate |
| IT | примитивный одноместный предикат | primitive one-place predicate |
| math. | примитивный предикат | primitive predicate |
| progr. | принимать предикат в качестве аргумента | take a predicate as an argument (корпорации Oracle Alex_Odeychuk) |
| progr. | проверка предиката | predicate check (Alex_Odeychuk) |
| math. | производный предикат | derived predicate |
| progr. | простой предикат | simple predicate (ssn) |
| math. | простой предикат | prime predicate |
| d.b.. | пространственный предикат | spatial predicate (Alex_Odeychuk) |
| ling. | психологический предикат | psychological predicate |
| AI. | публичный предикат | public predicate (Alex_Odeychuk) |
| libr. | пять предикатов Порфирия | five predicables of Porphyry |
| math. | разложимый предикат | reducible predicate |
| math. | разрешимый предикат | resolvable predicate |
| math. | разрешимый предикат | decidable predicate |
| math. | расширенное исчисление предикатов | extended predicate calculus |
| progr. | режим использования предиката | predicate mode (Alex_Odeychuk) |
| progr. | резолюция предикатов | predicate resolution (Alex_Odeychuk) |
| math. | рекурсивно перечислимый предикат | recursively enumerable predicate |
| math. | рекурсивный предикат | recursive predicate |
| progr. | рефлексивно-ориентированный предикат | reflection predicate (Alex_Odeychuk) |
| progr. | рефлексивный предикат | reflection predicate (Alex_Odeychuk) |
| IT | риторический предикат | rhetorical predicate |
| AI. | семантика логики предикатов первого порядка | first-order logic semantics (Alex_Odeychuk) |
| ling. | семантический предикат | semantic predicate |
| math. | сильный предикат | strong predicate |
| math. | симметрический предикат | symmetric predicate |
| math. | сингулярное исчисление предикатов | singular predicate calculus |
| progr. | синхронизированный предикат | synchronized predicate (Alex_Odeychuk) |
| math. | слабо представимый предикат | weakly representable predicate |
| math. | смысловой предикат | truth predicate |
| math. | собственно рекурсивный предикат | properly recursive predicate |
| math. | собственное исчисление предикатов | proper predicate calculus |
| math. | совместно выполняющие предикаты | jointly satisfying predicates |
| el. | совокупность индивидуальных логических предикатов | signature |
| progr. | соответствующий предикат | corresponding predicate (Alex_Odeychuk) |
| progr. | составной предикат | compound predicate (логическое выражение, включающее два или более предикатов, связанных операторами И, ИЛИ или НЕ ssn) |
| progr. | составные предикаты | compound predicates (ssn) |
| math. | сохраняющая предикат функция | predicate preserving function |
| math. | сохраняющий предикат | predicate preserving |
| progr. | специальный предикат | ad hoc predicate (Alex_Odeychuk) |
| progr. | специальный предикат создания массива | ad hoc predicate for array creation (Alex_Odeychuk) |
| progr. | статический предикат | static predicate (Alex_Odeychuk) |
| math. | строго устойчивый предикат | strictly stable predicate |
| progr. | структура вызовов предиката | predicate calling structure (Alex_Odeychuk) |
| progr. | табулирование предикатов ввода-вывода | I/O tabling (University of Melbourne, Австралия; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| progr. | табулированный предикат | tabled predicate (Alex_Odeychuk) |
| progr. | табулируемый предикат | tabled predicate (Alex_Odeychuk) |
| math. | теоретико-множественная логика предикатов | set-theoretic predicate logic |
| math. | теоретико-множественная логика предикатов | set predicate logic |
| math. | теоретико-числовой предикат | number-theoretic predicate |
| math. | теоретический предикат | theoretic predicate |
| math. | трёхместный предикат | triadic predicate |
| progr. | удовлетворять предикатам подтипа | satisfy the predicates of a subtype (Alex_Odeychuk) |
| progr. | узел с предикатом | predicate node (ssn) |
| math. | узкое исчисление предикатов | RPC (restricted predicate calculus) |
| math. | узкое исчисление предикатов | restricted predicate calculus |
| math. | унарный предикат | unary predicate |
| progr. | унаследованное определение предиката | inherited predicate definition (Alex_Odeychuk) |
| progr. | унаследованный предикат | inherited predicate (Alex_Odeychuk) |
| math. | универсальный предикат | universal predicate |
| progr. | условные выражения и предикаты | conditional expressions and predicates (ssn) |
| math. | устойчивый предикат | stable predicate |
| math. | устойчивый предикат | persistent predicate |
| math. | фильтрующийся предикат | filtered predicate |
| progr. | формула логики предикатов | predicate formula (ssn) |
| progr. | формула предикатов | predicate formula (ssn) |
| math. | формульный предикат | formula predicate |
| math. | хорновский предикат | Horn predicate |
| progr. | цели, часто выраженные в терминах исчисления предикатов | goals, often expressed in a predicate calculus (ssn) |
| math. | частичный предикат | partial predicate |
| math. | числовой предикат | numerical predicate |
| math. | чистое исчисление предикатов | pure predicate calculus |
| math. | чистое исчисление предикатов | PPC (pure predicate calculus) |
| math. | эквивалентные предикаты | equivalent predicates |
| progr. | эквивалентный предикат | equivalent predicate (ssn) |
| progr. | экстенсиональный предикат | extensional predicate (в языке логического программирования Datalog Alex_Odeychuk) |
| ling. | элементарный предикат | atomic predicate |
| math. | элементарный предикат | elementary predicate |
| ling. | эпистемический предикат | epistemic predicate |
| math. | эффективно разрешимый предикат | effectively decidable predicate |
| automat. | язык исчисления предикатов | predicate calculus language |
| IT | язык программирования, основанный на логике предикатов | predicate logic language |
| IT | язык программирования, основанный на логике предикатов | predicate logic-based language |
| mech. | язык основанный на логике предикатов | predicate logic language |
| automat. | язык, основанный на логике предикатов | predicate logic language (как функций нескольких переменных) |
| Makarov. | язык, основанный на логике предикатов | predicate logic language (как функции нескольких переменных) |
| IT | язык предикатов | predicate language |
| IT | язык программирования, основанный на логике предикатов | predicate logic-based language |
| IT | язык программирования, основанный на логике предикатов | predicate logic language |
