Terms for subject Programming containing logic program examples

English	Russian
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)