Функциональное и логическое программирование.ти

Скачать тест — (Функциональное и логическое программирование.ти_1f266fc8.pdf)

Внутренний запрос записывается в секции …
Конъюнкция двух логических переменных истинна тогда и только тогда, когда …
Переменная в языке Prolog является конкретизированной, если …
Имя … переменных в языке Prolog состоит только из знака подчеркивания
Свойство объекта или отношение между объектами, для которого известно, что они истинны, – это …
Имя свойства или отношения между объектами с последовательностью аргументов – это …
Правила, по которым определяется смысл выражений, их истинность (или ложность), называются …
Знаки логических операций называются логическими …
Приписывание значений истинности пропозициональным переменным называется …
Интерпретация, для которой пропозициональная формула принимает истинное значение, называются …
В языке Prolog тип данных называют …
Неверно, что такая логическая операция, как …, выражает причинно-следственные связи между высказываниями
… является секцией цели
Логическая операция, которая ложна тогда, когда ложны обе переменные, – …
Секция, которая применяется, если в программе используются нестандартные предикаты, – …
… переменные используются в случаях, когда значение переменной несущественно, но переменная должна быть использована
Логическими константами называются значения логических переменных …
При стандартной форме записи фактов в языке Prolog имена всех отношений …
Стандартный домен, который обозначает одиночный символ, заключенный в апострофы, – …
Логическое программирование связывают с системами программирования, основанными на использовании специальных классов логических формул, называемых хорновскими …
Два факта в языке Prolog являются сопоставимыми при условии, что …
… в языке Prolog могут быть внутренними и внешними
Базой данных в языке Prolog называется совокупность …
Нельзя использовать … в хвостовой части правила вывода
Дерево можно назвать упорядоченным, если все значения, находящиеся в узлах …
Составной объект, в котором можно выделить три составные части, – …
Поиск с возвратом после того, как доказательство целей миновало отсечение, …
Простой запрос состоит …
Ход решения, представленный в виде дерева, называется деревом …
Проверка принадлежности элемента к списку выполняется отделением головы списка и сравнением ее с … элементом
Узлы дерева, у которых нет левого и правого поддерева, называются …
Последовательная обработка всех узлов дерева называется … дерева
… называется последовательность символов, удовлетворяющая следующим условиям: имя в соответствии с синтаксисом языка Prolog, число или отличный от пробела символ
Наименьшая единица данных, которая может участвовать в операциях ввода-вывода, – это …
Оператор является …, если он имеет два аргумента и располагается между ними
Приглашение, которое означает, что интерпретатор готов к обработке запроса, – …
Составной объект в языке Prolog, который заключается в квадратные скобки, а его элементы разделяются запятыми, – …
Специальный символ в языке Prolog, который используется для разделения списка на голову и хвост, – …
Предикат, который применяется для перехода на новую строку при печати данных на дисплее, – …
Предикат, который используется для печати краткого содержания событий, – …
Предикат, который выполняет те же действия, что и write, за тем исключением, что он игнорирует все сделанные объявления операторов, – …
Предикат, который используется для ввода литер, набираемых на клавиатуре терминала, – …
Предикат, который используется для определения имени файла, служащего текущим выходным потоком данных, – …
Предикат … предотвращает поиск с возвратом
Символ, который является признаком конца ввода символов, – …
Анонимная переменная предписывает интерпретатору … значению аргумента
Знаком * в языке Prolog обозначается …
Преобразование пустого списка дает в результате …
… добавляется к именам переменных для того, чтобы различать их на различных уровнях рекурсии
Использование предиката … может помочь обнаружить ошибки в программе
Целевое утверждение var(X)согласуется с базой данных в случае если на текущий момент X является … переменной
Класс формул исчисления предикатов, к которому относятся формулы, истинные в одних интерпретациях и ложные в других, – это …
Выражение, на который навешивается квантор, называется областью … квантора
Множество с заданными на нем операциями и отношениями называется …
Открытая формула называется тавтологией, если она …
… отношения называют признаками или свойствами
Неверно, что исчисление предикатов является … функцией
Предикат для ввода и вывода является … предикатом
Высказыванием называется выражение, не имеющее … переменных
Целевое утверждение, которое согласуется с базой данных, если текущее значение X является атомом в смысле языка Prolog, – …
Целевое утверждение, которое согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом, – …
Предикат … предназначен для использования в тех ситуациях, когда вы хотите добавить утверждения из некоторого файла к утверждениям, уже имеющимся в базе данных
Предикат … удобно использовать для исправления ошибок в программе
Предикат … используется в ситуации, когда вы хотите явно указать, что для некоторого целевого утверждения нужно перебрать все решения
Предикат … очень полезен в том случае, если надо создать программы, анализирующие или исполняющие другие программы