Terms for subject Programming containing logic program

English	Russian
automated parallelization of logic programs	автораспараллеливание логических программ (Alex_Odeychuk)
executing the control logic in the program	выполнение логики управления в программе (ssn)
execution of logic program	исполнение логической программы (ssn)
execution of logic program	выполнение логической программы (ssn)
general structure of logic program	общая структура логической программы (ssn)
logic against program flow	логика программы выстроена против направления прогона (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn)
logic of the program	логика исполнения программы (ssn)
logic of the program	логика программы (ssn)
logic program example for consecutivity testing in 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 eigenproblems	пример логической программы для нахождения собственного вектора матрицы (см. Introduction to logic programming by Ghristopher John Hogger ssn)
logic program example for factorials	пример логической программы для вычисления факториала (ssn)
logic program example for linear search through lists	пример логической программы для линейного поиска в списке (ssn)
logic program example for orderliness testing in lists	пример логической программы для проверки упорядоченности списка (ssn)
logic program example for pair selection	пример логической программы для выбора пар элементов (ssn)
logic program example for palindrome problem	пример логической программы для задачи о палиндроме (ssn)
logic program example for path finding	пример логической программы для нахождения путей в графе (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 square root estimation	пример логической программы для вычисления квадратного корня (ssn)
logic program example for subset problem	пример логической программы для задачи о подмножествах (ssn)
logic program example for substring searching	пример логической программы для поиска подстроки (см. Introduction to logic programming by Ghristopher John Hogger ssn)
logic program examples	примеры логических программ (ssn)
logic structure of a program	логическая структура программы (ssn)
logic with program flow	логика программы совпадает с направлением прогона (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn)
logic-based program	логическая программа (Alex_Odeychuk)
logic-based program development	разработка логические программ (на языке с поддержкой парадигмы логического программирования Alex_Odeychuk)
logic-based program synthesis and transformation	проектирование и перепроектирование логических программ (Alex_Odeychuk)
order and group the PLC program ladder logic	упорядочение и группировка многоступенчатой логики программы ПЛК (ssn)
order and group the PLC program ladder logic to maximize its modularity with respect to the functions required	упорядочение и группировка многоступенчатой логики программы ПЛК для максимального увеличения модульности требуемых функций (ssn)
PLC program ladder logic	многоступенчатая логика программы ПЛК (ssn)
program logic	алгоритм программы (Alex_Odeychuk)
program logic flow	логический поток программы (ssn)
program organization and logic	организация и логика программы (ssn)
semantics of logic programs	семантика логических программ (ssn)
special programs in the form of rudimentary logic simulators	специальные программы в виде элементарных систем логического моделирования (ssn)
the difference lies in that testing to specs feeds the program with data without any consideration given to the program logic	Различие заключается в том, что при тестировании на основе технических требований программе задаются данные без какого-либо учёта логики работы программы (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering)
without any consideration given to the program logic	без какого-либо учёта логики работы программы (ssn)