Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
logic programming languages
Traducere "logic programming languages" în rusă
языки логического программирования
логических языках программирования
The syntax of logic programming languages can be quite different from procedural languages.
Синтаксис языков логического программирования может значительно отличаться от процедурных языков.
Ordered choice is analogous to soft cut operators available in some logic programming languages.
Упорядоченный выбор аналогичен мягкому оператору отсечения в некоторых логических языках программирования.
In the field of computer science he formalized the semantics of the productional and logic programming languages and developed the methods and algorithms for the verification of hardware and software.
В области информатики формализованы семантики продукционных и логических языков программирования, разработаны методы и алгоритмы верификации программных и аппаратных средств.
The use of logic variables for communication in concurrent logic programming languages was quite similar to futures.
Использование логических переменных для взаимодействия в конкурентных языках логического программирования достаточно сходно с future.
Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.
Кортеж - ориентированная обработка: дедуктивные базы данных используют ориентированную на набор обработку, в то время как языки логического программирования концентрируются на одном кортеже за раз.
However, the backward reasoning technique, implemented by SLD resolution, used to solve problems in logic programming languages such as Prolog, treats programs as goal-reduction procedures.
Однако обратная рассуждающая техника, осуществленная резолюцией SLD, используемой, чтобы решить проблемы на логических языках программирования, таких как Пролог, рассматривает программы как процедуры сокращения цели.
Languages designed for less common paradigms including functional languages such as LISP and Haskell, and logic programming languages such as Prolog are also Turing-complete.
Языки, разработанные для менее общих целей, включая функциональные языки как Lisp и Haskell, логического программирования как Prolog, тоже Тьюринг-полны.
Function symbols: Logic Programming languages allow function symbols to build up complex symbols.
Символы функций: языки логического программирования позволяют функциональным символам создавать сложные символы.
Treci la Premium pentru a debloca milioane de exemple de traduceri, a salva și învăța vocabular nelimitat, fără reclame.
Sinonime și analogii pentru "logic programming languages" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 8. Exacte: 8. Timp de răspuns: 136 ms.
