Главная / Программирование / Основы программирования на языке Пролог

Основы программирования на языке Пролог - ответы на тесты Интуит

Правильные ответы выделены зелёным цветом.
Все ответы: Курс посвящен изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации.
Программируя в императивном стиле, программист должен ответить на вопрос:
(1) что решать?
(2) как решать?
Можно ли было при описании "деревянного" домена использовать вместо идентификатора tree, какой-нибудь другой идентификатор?
(1) да
(2) нет
Можно ли использовать предикат frontchar для того, чтобы приписать символ в начало строки?
(1) да
(2) нет
Какое из устройств является стандартным устройством вывода информации по умолчанию?
(1) Keyboard
(2) Screen
(3) Printer
(4) Com1
Можно ли сохранить факты, размещенные в динамической базе данных, на диске?
(1) да
(2) нет
Какие из перечисленных ниже объектов используются при конструировании термов?
(1) кванторы
(2) функциональные символы
(3) предикатные символы
Правило - это предложение, которое состоит
(1) только из заголовка
(2) только из тела
(3) из заголовка и тела
Нужно ли в теле правила, определяющего шаг рекурсии, указывать в качестве подцели определяемый предикат?
(1) да
(2) нет
Может ли в программе быть несколько разделов описаний предикатов?
(1) да
(2) нет
Бэктрекинг реализует:
(1) поиск в глубину
(2) поиск в ширину
(3) поиск в высоту
(4) поиск в толщину
Количество элементов списка ограничивается:
(1) максимальным размером списка, заданным при его создании
(2) размером оперативной памяти
(3) размером жесткого диска
При выполнении предиката sum([1,2,3],X) переменная X будет означена числом:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 6
Изменится ли результат, если в предикате, реализующем симметрическую разность, поменять местами первый и второй аргументы?
(1) да
(2) нет
Как правило, исходный текст программы на Прологе по сравнению с исходным текстом программы на императивном языке по размеру:
(1) короче
(2) длиннее
(3) примерно такой же
В ориентированном графе дуга представляет собой:
(1) неупорядоченную пару
(2) упорядоченную пару
В результате выполнения цели char_count("мама",'м',N) переменная N будет конкретизирована значением:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Выполнение подцели filepos(f,3,1) приведет к смещению позиции чтения/записи;
(1) на третий элемент файла
(2) на три элемента относительно текущей позиции чтения/записи
(3) на третий с конца элемент файла
Может ли раздел описания предикатов внутренней базы данных быть безымянным?
(1) да
(2) нет
Первая подстановка является более общей, чем вторая, если:
(1) первая подстановка получается из второй путем применения композиции
(2) вторая подстановка получается из первой путем применения композиции
Свободная переменная - это переменная, которая
(1) не имеет никакого значения
(2) имеет "начальное" значение, соответствующее домену (ноль для числового домена; пустая строка – для строкового домена и т.д.)
(3) имеет какое-то значение
Оптимизация, после которой рекурсия будет использовать столько же оперативной памяти, сколько и итерация, возможна для
(1) левосторонней рекурсии
(2) правосторонней рекурсии
(3) и левосторонней, и правосторонней рекурсии
(4) ни для левосторонней, ни для правосторонней рекурсии
Можно ли в качестве значения для переменной типа symbol использовать последовательность символов английского алфавита, не заключенную в кавычки?
(1) да
(2) нет
Стек точек возврата освобождается в тот момент, когда
(1) одна из подцелей программы терпит неудачу
(2) происходит возврат в то место программы, указатель на которое находился в стеке точек возврата
(3) все альтернативные варианты оказываются исчерпанными
Хвост списка - это:
(1) его последний элемент
(2) список, состоящий из всех элементов исходного списка, не вошедших в его голову
(3) элементы списка, не вошедшие в его голову
Можно ли модифицировать алгоритм сортировки выбором так, чтобы он был основан на выборе максимального элемента списка и приписывании его в конец?
(1) да
(2) нет
Объединением множеств [1,2] и [2,3] будет множество:
(1) [1,2,3]
(2) [1,3]
(3) [1,2]
(4) [2,3]
(5) [1]
(6) [2]
(7) [3]
(8) []
Подходит ли Пролог для быстрой разработки прототипов прикладных программ?
(1) да
(2) нет
Высота дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) равна:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Сколько имеется вариантов использования предиката frontstr?
(1) 1
(2) 2
(3) 3
(4) 4
(5) 5
Для того чтобы открыть файл на дозапись в конец служит предикат:
(1) openread
(2) openwrite
(3) openappend
(4) openmodify
Предикат retract служит для удаления из внутренней базы данных:
(1) первого факта
(2) последнего факта
(3) всех фактов
Правило состоит:
(1) только из одного положительного литерала
(2) только из отрицательных литералов
(3) из одного положительного и нескольких отрицательных литералов
При рассмотрении процедурной модели программы порядок подцелей в предложении и условиях предложений в процедуре:
(1) имеет значение
(2) не имеет значения
Отношение называется транзитивным, если
(1) для любой пары (A,B), находящейся в этом отношении следует, что пара (B,A) также находится в этом отношении
(2) для любой пары (A,B), находящейся в этом отношении следует, что пара (B,A) не находится в этом отношении
(3) для любых пар (A,B) и (B,C), находящихся в этом отношении следует, что пара (A,С) также находится в этом отношении
(4) для любых пар (A,B) и (B,C), находящихся в этом отношении следует, что пара (A,С) не находится в этом отношении
Относится ли предикат repeat к стандартным (встроенным) предикатам?
(1) да
(2) нет
Возможно ли унифицировать списки [1,2] и [3|X]
(1) да
(2) нет
Алгоритм пузырьковой сортировки основан на:
(1) разбиении списка на два подсписка; упорядочивании каждого из них; обратной сборке из них одного списка
(2) разбиении исходного списка на два подсписка, в первый из которых помещаются элементы, меньшие данного, во второй – все остальные. Списки сортируются, после чего соединяются в один список
(3) перестановке соседних элементов, находящихся в неправильном порядке, до тех пор, пока есть такие элементы
Будет ли множество [1,2,3] собственным подмножеством множества [2,1,3]?
(1) да
(2) нет
В основу проекта ЭВМ какого поколения был положен Пролог?
(1) первого
(2) второго
(3) третьего
(4) четвертого
(5) пятого
Может ли быть у дерева несколько корневых вершин?
(1) да
(2) нет
В результате выполнения цели str_pos('п',"мама",N) переменная N будет конкретизирована значением:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Для чтения строки из файла служит предикат:
(1) readln
(2) readint
(3) readreal
(4) readchar
(5) readterm
Емкость внешней базы данных ограничена сверху:
(1) емкостью жесткого диска
(2) объемом оперативной памяти
(3) ничем не ограничена
Формула в конъюнктивной нормальной форме состоит из:
(1) конъюнкции конечного числа литералов
(2) конъюнкции конечного числа дизъюнктов
(3) дизъюнкции конечного числа конъюнктов
Если убрать "красное" отсечение, то программа
(1) будет выдавать неправильные решения
(2) перестанет выдавать правильные решения
(3) будет выдавать те же решения, что и при наличии отсечения
Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?
(1) ничего
(2) пролог система выдаст сообщение об ошибке
(3) произойдет зацикливание
(4) предикат будет терпеть неуспех в большинстве случае
Может ли программа, не содержащая внутренней цели, быть скомпилирована в исполняемый файл?
(1) да
(2) нет
Является ли конструкция [[1,2], [3], [], []] списком?
(1) да
(2) нет
В результате выполнения предиката permutation([3,2,1],L) переменная L будет означена списком:
(1) [1,2,3]
(2) [1,3,2]
(3) [2,1,3]
(4) [2,3,1]
(5) [3,2,1]
(6) [3,1,2]
Будет ли истинным предикат member3(2,[1,2,3])?
(1) да
(2) нет
Наиболее популярный в Европе язык искусственного интеллекта это
(1) Пролог
(2) Лисп
(3) Флэнг
В результате вызова предиката tree_length(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Можно ли использовать предикат concat для того, чтобы соединить две строки?
(1) да
(2) нет
Можно ли использовать предикат filemode для того чтобы узнать в каком режиме (бинарном или текстовом) обрабатывается файл?
(1) да
(2) нет
Могут ли факты внутренней базы данных Турбо Пролога содержать свободные переменные?
(1) да
(2) нет
Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?
(1) да
(2) нет
В программе на Прологе вместо ":-" можно писать
(1) if
(2) and
(3) or
В результате выполнения предиката fib(2,X) переменная X будет означена числом
(1) 0
(2) 1
(3) 2
(4) 3
(5) 5
Можно ли, в разделе описания констант использовать в качестве первого символа имени константы прописной символ?
(1) да
(2) нет
Результат вычисления текущей подцели выводится (в окне трассировки) после:
(1) символа "*";
(2) слова "RETURN"
(3) слова "FAIL"
Могут ли элементы списка быть составными объектами?
(1) да
(2) нет
В результате выполнения предиката splitting([1,2,3],L1,L2) переменные L1 и L2 получат значения:
(1) L1=[1,2,3], L2=[]
(2) L1=[1,2], L2=[3]
(3) L1=[1,3], L2=[2]
(4) L1=[2,3], L2=[1]
(5) L1=[1], L2=[2,3]
(6) L1=[], L2=[1,2,3]
В результате выполнения предиката supp([1,2,3,4,5],L) переменная L будет означена списком:
(1) [1,2,3,4,5]
(2) []
(3) [0,6,7,8,9]
(4) [5,4,3,2,1]
Программируя в декларативном стиле, программист должен ответить на вопрос:
(1) что решать?
(2) как решать?
Можно ли было при описании "деревянного" домена использовать вместо функтора tr, употребленного нами, какой-нибудь другой функтор?
(1) да
(2) нет
Можно ли использовать предикат frontstr для того, чтобы соединить две строки?
(1) да
(2) нет
Какое из устройств является стандартным устройством ввода информации по умолчанию?
(1) Keyboard
(2) Screen
(3) Printer
(4) Com1
Обработка данных, размещенных во внутренней базе данных, по сравнению с обработкой данных, размещенных во внешней базе данных, происходит:
(1) быстрее
(2) медленнее
(3) примерно с той же скоростью
В правиле резолюции контрарными литералами называются:
(1) исходные дизъюнкты
(2) вычеркнутые формулы
Факт - это предложение, которое состоит
(1) только из заголовка
(2) только из тела
(3) из заголовка и тела
Какой из алгоритмов, в общем случае, требует больше оперативной памяти?
(1) рекурсивный
(2) итерационный
Может ли в программе быть несколько разделов описаний внутренней цели?
(1) да
(2) нет
Откат происходит в то место программы, указатель на которое находится:
(1) в начале стека точек возврата
(2) в конце стека точек возврата
(3) в случайном месте стека точек возврата
Могут ли в Турбо Прологе элементы списка принадлежать разным доменам?
(1) да
(2) нет
При выполнении предиката min_list([1,2,3],X) переменная X будет означена числом:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 6
Изменится ли результат, если в предикате, реализующем разность, поменять местами первый и второй аргументы?
(1) да
(2) нет
Как правило, время разработки программы на Прологе по сравнению со временем разработки программы на императивном языке:
(1) больше
(2) меньше
(3) примерно такое же
Может ли быть у графа несколько корневых вершин?
(1) да
(2) нет
В результате выполнения цели count_digit("1 и 9 мая",N) переменная N будет конкретизирована значением:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Выполнение подцели filepos(f,3,2) приведет к смещению позиции чтения/записи:
(1) на третий элемент файла
(2) на три элемента относительно текущей позиции чтения/записи
(3) на третий с конца элемент файла
Может ли быть в программе несколько разделов описания предикатов внутренней базы?
(1) да
(2) нет
Хорновский дизъюнкт содержит положительных литералов:
(1) ни одного
(2) ровно один
(3) более одного
(4) не более одного
Можно ли поменять значение связанной переменной?
(1) можно
(2) можно, если изменить значение объекта, с которым она связана
(3) нельзя
Обязательно ли должно быть предложение, реализующее шаг рекурсии, в рекурсивной процедуре?
(1) да
(2) нет
Возможно ли в разделе описания предикатов PREDICATES наличие нескольких описаний одного предиката?
(1) да
(2) нет
В случае наличия в программе раздела внутренней цели Турбо Пролог находит:
(1) всевозможные означивания переменных, удовлетворяющих цели
(2) первое означивание переменных, удовлетворяющее цели
Можно ли представить пустой список в виде [H|T]:
(1) нет
(2) да. При этом T будет пустым списком
(3) да. При этом H будет пустым списком
В алгоритме сортировкипо возрастанию перестановками предикат permutation выполняет перестановку двух соседних элементов в случае, если:
(1) первый больше второго
(2) первый меньше второго
(3) первый равен второму
Симметрической разностью множеств [1,2] и [2,3] будет множество:
(1) [1,2,3]
(2) [1,3]
(3) [1,2]
(4) [2,3]
(5) [1]
(6) [2]
(7) [3]
(8) []
Подходит ли Пролог для проведения больших объемов вычислений?
(1) да
(2) нет
Крона дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) состоит из вершин:
(1) {3}
(2) {1,2}
(3) {2,5}
(4) {1,5}
(5) {1,2,3,5}
Можно ли использовать предикат str_len для получения строки, содержащей заданное количество символов?
(1) да
(2) нет
Для того чтобы открыть файл одновременно на чтение и запись служит предикат:
(1) openread
(2) openwrite
(3) openappend
(4) openmodify
Для добавления факта в начало внутренней базы данных служит предикат:
(1) Assert
(2) Asserta
(3) Assertz
Факт состоит:
(1) только из одного положительного литерала
(2) только из отрицательных литералов
(3) из одного положительного и отрицательных литералов
Отсечение предназначено для того, чтобы:
(1) запретить поиск альтернативных решений для подцелей, расположенных правее отсечения
(2) запретить поиск альтернативных решений для подцелей, расположенных левее отсечения
(3) запретить поиск альтернативных решений для подцелей, расположенных левее и правее отсечения
Одно отношение называется транзитивным замыканием другого отношения, если
(1) это наименьшее транзитивное отношение, включающее исходное отношение
(2) это наибольшее транзитивное отношение, включающее исходное отношение
(3) оно включает исходное отношение и является транзитивным отношением
Предикаты, осуществляющие преобразование типов, имеют:
(1) один вариант использования
(2) два варианта использования
(3) три варианта использования
Метод отсечения и отката:
(1) позволяет получать всевозможные решения
(2) позволяет организовывать откат, до тех пор, пока не будет выполнено некоторое условие
(3) позволяет организовывать циклы, подобные циклам в императивных языках
В результате унификации списков [1,2,3,4] и [X,Y|Z] переменные получат следующие значения:
(1) X=1, Y=2, Z=3
(2) X=1, Y=2, Z=[3,4]
(3) X=1, Y=[2,3], Z=[4]
(4) X=1, Y=[2], Z=[3,4]
Алгоритм сортировки Хоара основан на:
(1) разбиении списка на два подсписка; упорядочивании каждого из них; обратной сборке из них одного списка
(2) выделении минимального элемента; упорядочивании оставшихся элементов; приписывании минимального элемента в начало полученного списка
(3) разбиении исходного списка на два подсписка, в первый из которых помещаются элементы, меньшие данного, во второй – все остальные. Списки сортируются, после чего соединяются в один список
Будет ли множество [1,2,3] подмножеством множества [2,1,3]?
(1) да
(2) нет
Наиболее близки к человеческому мышлению
(1) императивные языки
(2) декларативные языки
(3) машинный язык
Может ли быть у вершины графа несколько предков?
(1) да
(2) нет
В результате выполнения цели char_count("мама",'п',N) переменная N будет конкретизирована значением:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Для чтения целого числа из файла служит предикат:
(1) readln
(2) readint
(3) readreal
(4) readchar
(5) readterm
Может ли быть в программе несколько безымянных разделов описаний предикатов внутренней базы данных?
(1) да
(2) нет
Формула в сколемовской нормальной форме не содержит:
(1) кванторов
(2) кванторов всеобщности
(3) кванторов существования
При рассмотрении декларативной модели программы порядок подцелей в предложении и предложений в процедуре:
(1) имеет значение
(2) не имеет значения
Левосторонняя рекурсия плоха тем, что она
(1) приводит к зацикливанию и исчерпанию стека
(2) слишком медленно работает
(3) менее понятна, чем правосторонняя
В стек точек возврата помещается указатель на то место программы, в котором:
(1) происходит откат для выбора альтернативных решений
(2) возможен выбор одного из нескольких вариантов означивания переменных
Является ли конструкция [[1,2], 3] списком?
(1) да
(2) нет
В результате выполнения предиката insert(2,[1],L) переменная L будет означена списком:
(1) [1,2]
(2) [2,1]
(3) [1]
(4) [2]
Будет ли истинным предикат member3(2,[1,3])?
(1) да
(2) нет
Наиболее популярный в США язык искусственного интеллекта это
(1) Пролог
(2) Лисп
(3) Флэнг
В результате вызова предиката tree_sum(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:
(1) 0
(2) 1
(3) 5
(4) 11
(5) 13
Можно ли использовать предикат frontstr для того, чтобы разделить исходную строку на две подстроки?
(1) да
(2) нет
Можно ли использовать предикат filemode для того чтобы изменить режим отсчитывания позиции для предиката filepos (от начала файла, от конца файла или от текущей позиции)?
(1) да
(2) нет
Могут ли факты внутренней базы данных Турбо Пролога содержать анонимную переменную?
(1) да
(2) нет
Логическая программа завершается успехом в случае, если:
(1) был выведен пустой дизъюнкт
(2) был выведен пустой конъюнкт
(3) ни одну из подцелей не удается унифицировать ни с одним дизъюнктом программы
В программе на Прологе вместо "," можно писать
(1) if
(2) and
(3) or
В результате выполнения предиката fib_fast(3,X,Y) переменные X и Y получат значения:
(1) X=1, Y=1
(2) X=1, Y=2
(3) X=2, Y=3
(4) X=3, Y=5
(5) X=2, Y=2
Можно ли, в разделе описания предложений использовать в качестве первого символа имени константы прописной символ?
(1) да
(2) нет
О неудачной попытке вычислить текущую подцель информирует (в окне трассировки):
(1) символа "*";
(2) слова "RETURN"
(3) слова "FAIL"
Можно ли унифицировать списки [] и [1]?
(1) да
(2) нет
Можно ли реализовать предикат avg без использования предикатов summa и length?
(1) да
(2) нет
Изменится ли результат, если в предикате, реализующем объединение, поменять местами первый и второй аргументы?
(1) да
(2) нет
С компьютерами какого поколения нам сейчас приходится работать:
(1) первого
(2) второго
(3) третьего
(4) четвертого
(5) пятого
Можно ли было при описании "деревянного" домена использовать вместо идентификатора empty, употребленного нами для обозначения пустого дерева, какой-нибудь другой идентификатор?
(1) да
(2) нет
Предикат isname будет истинным, если строка, указанная в качестве его единственного параметра, представляет собой:
(1) атом
(2) идентификатор
(3) строку, содержащую пробелы
(4) строку, начинающуюся с цифры
Какое из устройств является стандартным устройством вывода информации об ошибках, по умолчанию?
(1) Keyboard
(2) Screen
(3) Printer
(4) Com1
Емкость внутренней базы данных ограничена сверху:
(1) емкостью жесткого диска
(2) объемом оперативной памяти
(3) ничем не ограничена
Что такое литерал?
(1) атомная формула
(2) отрицание атомной формулы
(3) атомная формула или отрицание атомной формулы
Вопрос - это предложение, которое состоит
(1) только из заголовка
(2) только из тела
(3) из заголовка и тела
Какие из алгоритмов проще с логической точки зрения:
(1) рекурсивные
(2) итерационные
Раздел описания доменов соответствует в императивных языках программирования:
(1) разделу описания констант
(2) разделу описания типов данных
(3) разделу описания переменных
Откат происходит в тот момент, когда:
(1) одна из подцелей, расположенных левее или выше места, указатель на которое последним помещен в стек точек отката, оказалась неуспешной
(2) одна из подцелей, расположенных правее или ниже места, указатель на которое был последним помещен в стек точек отката, оказалась неуспешной
(3) все подцели, расположенные левее или выше места, указатель на которое был последним помещен в стек точек отката, оказались неуспешными
(4) все подцели, расположенные правее или ниже места, указатель на которое был последним помещен в стек точек отката, оказались неуспешными
Можно ли в Турбо Прологе разместить в одном списке объекты разной природы (например, строки и целые числа)?
(1) да
(2) нет
При выполнении предиката avg([1,2,3],X) переменная X будет означена числом:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 6
Изменится ли результат, если в предикате, реализующем пересечение, поменять местами первый и второй аргументы?
(1) да
(2) нет
Как правило, программу на Прологе по сравнению с программой на императивном языке понимать и отлаживать:
(1) сложнее
(2) легче
(3) примерно так же
Может ли быть у вершины дерева несколько предков?
(1) да
(2) нет
В результате выполнения цели str_pos('а',"мама",N) переменная N будет конкретизирована значением:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Выполнение подцели filepos(f,3,0) приведет к смещению позиции чтения/записи:
(1) на третий элемент файла
(2) на три элемента относительно текущей позиции чтения/записи
(3) на третий с конца элемент файла
Можно ли разместить во внутренней базе данных Турбо Пролога правила?
(1) да
(2) нет
В правиле резолюции резольвируемыми называются:
(1) исходные дизъюнкты
(2) вычеркнутые формулы
Область действия неанонимной переменной в Прологе:
(1) одна подцель
(2) одно предложение
(3) вся программа
Сколько базисов рекурсии должно быть в рекурсивной процедуре?
(1) ни одного
(2) один
(3) не менее одного
Быстрее выполняются и используют меньше оперативной памяти:
(1) детерминированные предикаты
(2) недетерминированные предикаты
Можно ли в методе отката после неудачи обойтись без использования стандартного предиката FAIL?
(1) да
(2) нет
Двухэлементный список [1,2] не унифицируется со списком:
(1) [1|[2]]
(2) [1,2|[]]
(3) [[1],[2]]
Алгоритм сортировки вставками основан на размещении:
(1) последнего элемента списка в отсортированном начале списка
(2) первого элемента списка в отсортированном хвосте списка
Разностью множеств [1,2] и [2,3] будет множество:
(1) [1,2,3]
(2) [1,3]
(3) [1,2]
(4) [2,3]
(5) [1]
(6) [2]
(7) [3]
(8) []
Подходит ли Пролог для разработки систем автоматического доказательства теорем?
(1) да
(2) нет
Является ли дерево tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) двоичным справочником?
(1) да
(2) нет
Для того чтобы открыть файл на запись служит предикат:
(1) openread
(2) openwrite
(3) openappend
(4) openmodify
Нельзя использовать для добавления факта в конец внутренней базы данных предикат:
(1) Assert
(2) Asserta
(3) Assertz
Вопрос состоит:
(1) только из одного положительного литерала
(2) только из отрицательных литералов
(3) из одного положительного и отрицательных литералов
Если убрать "зеленое" отсечение, то программа
(1) будет выдавать неправильные решения
(2) перестанет выдавать правильные решения
(3) будет выдавать те же решения, что и при наличии отсечения
Следует избегать использования
(1) левосторонней рекурсии
(2) правосторонней рекурсии
(3) и левосторонней, и правосторонней рекурсии
(4) ни левосторонней, ни правосторонней рекурсии
Если аргументом предиката bound является свободная переменная, то он:
(1) истинен
(2) ложен
(3) зависит от значения переменной
Метод повтора, определяемый пользователем:
(1) позволяет получать всевозможные решения
(2) позволяет организовывать откат, до тех пор, пока не будет выполнено некоторое условие
(3) позволяет организовывать циклы, подобные циклам в императивных языках
Можно ли унифицировать списки [1] и [1|X]?
(1) да
(2) нет
Алгоритм сортировки фон Неймана основан на:
(1) разбиении списка на два подсписка; упорядочивании каждого из них; обратной сборке из них одного списка
(2) выделении минимального элемента; упорядочивании оставшихся элементов; приписывании минимального элемента в начало полученного списка
(3) разбиении исходного списка на два подсписка, в первый из которых помещаются элементы, меньшие данного, во второй – все остальные. Списки сортируются, после чего соединяются в один список
(4) перестановке соседних элементов, находящихся в неправильном порядке, до тех пор, пока есть такие элементы
Будет ли множество [1,2,3] совпадать со множеством [2,1,3]?
(1) да
(2) нет
Пролог относится к
(1) декларативным языкам
(2) императивным языкам
(3) машинным языкам
В неориентированном графе дуга представляет собой:
(1) неупорядоченную пару
(2) упорядоченную пару
В результате выполнения цели count_digit("мама мыла раму",N) переменная N будет конкретизирована значением:
(1) 0
(2) 1
(3) 2
(4) 3
(5) 4
Для чтения символа из файла служит предикат:
(1) readln
(2) readint
(3) readreal
(4) readchar
(5) readterm
Предикат retractall служит для удаления из внутренней базы данных:
(1) первого факта
(2) последнего факта
(3) всех фактов
Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:
(1) кванторы
(2) кванторы всеобщности
(3) кванторы существования
Связанная переменная - это переменная, которая
(1) не имеет никакого значения
(2) имеет "начальное" значение, соответствующее домену (ноль для числового домена; пустая строка - для строкового домена и т.д.)
(3) имеет какое-то значение
Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?
(1) ничего
(2) пролог система выдаст сообщение об ошибке
(3) произойдет зацикливание
(4) предикат будет терпеть неуспех в большинстве случае
Можно ли не описывать в разделе описания предикатов предикат, реализованный в разделе описания предложений?
(1) да
(2) нет
При откате к точке возврата связанные переменные, означенные после нее:
(1) не меняют своих значений
(2) становятся свободными
(3) означиваются следующими значениями
Могут ли элементы списка быть, в свою очередь, списками?
(1) да
(2) нет
В результате выполнения предиката partition([1,2,3],2,L1,L2) переменные L1 и L2 получат значения:
(1) L1=[1,2,3], L2=[]
(2) L1=[1,2], L2=[3]
(3) L1=[1], L2=[2,3]
(4) L1=[], L2=[1,2,3]
Будет ли истинным предикат list_set([1,2,1,1,2],[1,2])?
(1) да
(2) нет
Наиболее популярный в Японии язык искусственного интеллекта это
(1) Пролог
(2) Лисп
(3) Флэнг
В результате вызова предиката tree_list(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:
(1) []
(2) [1,2,3,5]
(3) [3,1,2,5]
(4) [5,3,2,1]
Если означить первый аргумент предиката str_list строкой, состоящей из одного пробела, то второй аргумент будет конкретизирован:
(1) []
(2) [' ']
(3) ['']
Можно ли использовать предикат filemode для того чтобы установить режим работы с файлом (бинарный или текстовой)?
(1) да
(2) нет
Возможно ли изменить сохраненную в файл внутреннюю базу данных, средствами обычного текстового редактора?
(1) нет, это возможно сделать только из программы;
(2) да
Обязательно ли метод резолюций завершается за конечное число шагов?:
(1) да
(2) нет
Имя предиката может начинаться
(1) с латинской буквы, цифры или знака подчеркивания
(2) с латинской буквы или цифры
(3) с латинской буквы или знака подчеркивания
(4) с цифры или знака подчеркивания
В результате выполнения предиката fact(4,X) переменная X будет означена числом
(1) 0
(2) 1
(3) 4
(4) 12
(5) 24
Подцель, размещенная в теле правила после предиката fail:
(1) выполняется при каждом выполнении правила
(2) никогда не выполняется
О наличии у текущей подцели альтернативных решений (в окне трассировки) индицирует:
(1) символа "*";
(2) слова "RETURN"
(3) слова "FAIL"
Принадлежит ли число 2 списку [[1,2,3],[4,5]]?
(1) да
(2) нет
Можно ли реализовать предикат min_list без использования предиката min?
(1) да
(2) нет
Если взять дополнение к дополнению множества, то получится:
(1) исходное множество
(2) пустое множество
(3) универсальное множество