Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
logic programming languages
Translation of "logic programming languages" in Russian
языки логического программирования
логических языках программирования
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.
Символы функций: языки логического программирования позволяют функциональным символам создавать сложные символы.
Synonyms and analogies of "logic programming languages" in English
Word & Expression of the day
Image of the day
Results: 8. Exact: 8. Elapsed time: 115 ms.
