Terms for subject Programming containing логическая программа

Russian	English
автораспараллеливание логических программ	automated parallelization of logic programs (Alex_Odeychuk)
без учёта порядка следования фактов и правил в логической программе	without statement order being significant (Alex_Odeychuk)
выполнение логической программы	execution of logic program (ssn)
исполнение логической программы	execution of logic program (ssn)
логическая концепция программы	LCP (ssn)
логическая концепция программы	logical conception of program (ЛКП ssn)
логическая модельная программа	logical model program (ssn)
логическая программа	logic-based program (Alex_Odeychuk)
логическая программа	logical programme (ssn)
логическая структура программы	logic structure of a program (ssn)
логическая структура программы	program construct (ssn)
логический контроль очерёдности выполнения команд программы	logical monitoring of the programme sequence
логический контроль очерёдности выполнения команд программы	logical monitoring of the programme sequence (метод контроля состояния неисправности/ошибки, в котором логически контролируют выполнение программной последовательности. Примерами являются использование ведущих учёт подпрограмм или отдельных данных в самой программе или в независимых устройствах контроля. ГОСТ IEC 60730-1-2016 ssn)
логический поток программы	program logic flow (ssn)
общая структура логической программы	general structure of logic program (ssn)
платформа разработки логических программ	logic-based development framework (Alex_Odeychuk)
пример логической программы для выбора пар элементов	logic program example for pair selection (ssn)
пример логической программы для вычисления квадратного корня	logic program example for square root estimation (ssn)
пример логической программы для вычисления факториала	logic program example for factorials (ssn)
пример логической программы для задачи о палиндроме	logic program example for palindrome problem (ssn)
пример логической программы для задачи о подмножествах	logic program example for subset problem (ssn)
пример логической программы для линейного поиска в списке	logic program example for linear search through lists (ssn)
пример логической программы для нахождения путей в графе	logic program example for path finding (ssn)
пример логической программы для нахождения следующего элемента в списке	logic program example for consecutivity testing in lists (см. Introduction to logic programming by Ghristopher John Hogger ssn)
пример логической программы для нахождения собственного вектора матрицы	logic program example for eigenproblems (см. Introduction to logic programming by Ghristopher John Hogger ssn)
пример логической программы для обнаружения пика	logic program example for peak detection (см. Introduction to logic programming by Ghristopher John Hogger ssn)
пример логической программы для обращения списков	logic program example for reversing lists (см. Introduction to logic programming by Ghristopher John Hogger ssn)
пример логической программы для подсчёта числа различных элементов в списке	logic program example for counting and filtering lists (см. Introduction to logic programming by Ghristopher John Hogger ssn)
пример логической программы для поиска подстроки	logic program example for substring searching (см. Introduction to logic programming by Ghristopher John Hogger ssn)
пример логической программы для проверки упорядоченности списка	logic program example for orderliness testing in lists (ssn)
примеры логических программ	logic program examples (ssn)
программист логических программ	logic programmer (art_fortius)
проектирование и перепроектирование логических программ	logic-based program synthesis and transformation (Alex_Odeychuk)
разработка логические программ	logic-based program development (на языке с поддержкой парадигмы логического программирования Alex_Odeychuk)
семантика логических программ	semantics of logic programs (ssn)
специальные программы в виде элементарных систем логического моделирования	special programs in the form of rudimentary logic simulators (ssn)