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

Внимание !
Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier!

---

Программируя в императивном стиле, программист должен ответить на вопрос:

как решать?
что решать?


С компьютерами какого поколения нам сейчас приходится работать:

третьего
пятого
второго
четвертого
первого


Что такое литерал?

атомная формула или отрицание атомной формулы
отрицание атомной формулы
атомная формула


Какие из перечисленных ниже объектов используются при конструировании термов?

предикатные символы
функциональные символы
кванторы


Как правило, время разработки программы на Прологе по сравнению со временем разработки программы на императивном языке:

больше
примерно такое же
меньше


Как правило, исходный текст программы на Прологе по сравнению с исходным текстом программы на императивном языке по размеру:

длиннее
примерно такой же
короче


Как правило, программу на Прологе по сравнению с программой на императивном языке понимать и отлаживать:

легче
примерно так же
сложнее

В правиле резолюции резольвируемыми называются:

исходные дизъюнкты
вычеркнутые формулы


Первая подстановка является более общей, чем вторая, если:

первая подстановка получается из второй путем применения композиции
вторая подстановка получается из первой путем применения композиции


Подходит ли Пролог для разработки систем автоматического доказательства теорем?

нет
да


Подходит ли Пролог для проведения больших объемов вычислений?

нет
да


Подходит ли Пролог для быстрой разработки прототипов прикладных программ?

да
нет


Факт состоит:

только из одного положительного литерала
из одного положительного и отрицательных литералов
только из отрицательных литералов


Вопрос состоит:

только из отрицательных литералов
из одного положительного и отрицательных литералов
только из одного положительного литерала


Правило состоит:

из одного положительного и нескольких отрицательных литералов
только из одного положительного литерала
только из отрицательных литералов


В основу проекта ЭВМ какого поколения был положен Пролог?

первого
четвертого
второго
пятого
третьего


Пролог относится к

декларативным языкам
машинным языкам
императивным языкам


Наиболее близки к человеческому мышлению

декларативные языки
машинный язык
императивные языки


Формула в сколемовской нормальной форме не содержит:

кванторов существования
кванторов
кванторов всеобщности


Формула представлена в предваренной нормальной форме, если вынесены в ее начало все:

кванторы существования
кванторы всеобщности
кванторы


Наиболее популярный в Европе язык искусственного интеллекта это

Пролог
Лисп
Флэнг


Наиболее популярный в США язык искусственного интеллекта это

Лисп
Пролог
Флэнг


Наиболее популярный в Японии язык искусственного интеллекта это

Лисп
Пролог
Флэнг


Логическая программа завершается успехом в случае, если:

был выведен пустой конъюнкт
ни одну из подцелей не удается унифицировать ни с одним дизъюнктом программы
был выведен пустой дизъюнкт


Обязательно ли метод резолюций завершается за конечное число шагов?:

да
нет


Вопрос - это предложение, которое состоит

из заголовка и тела
только из заголовка
только из тела


Правило - это предложение, которое состоит

только из тела
из заголовка и тела
только из заголовка


Факт - это предложение, которое состоит

только из тела
из заголовка и тела
только из заголовка


Свободная переменная - это переменная, которая

имеет "начальное" значение, соответствующее домену (ноль для числового домена; пустая строка – для строкового домена и т.д.)
не имеет никакого значения
имеет какое-то значение


Область действия неанонимной переменной в Прологе:

вся программа
одно предложение
одна подцель


Можно ли поменять значение связанной переменной?

нельзя
можно, если изменить значение объекта, с которым она связана
можно


При рассмотрении процедурной модели программы порядок подцелей в предложении и условиях предложений в процедуре:

не имеет значения
имеет значение


Если убрать "зеленое" отсечение, то программа

перестанет выдавать правильные решения
будет выдавать неправильные решения
будет выдавать те же решения, что и при наличии отсечения


Если убрать "красное" отсечение, то программа

будет выдавать неправильные решения
будет выдавать те же решения, что и при наличии отсечения
перестанет выдавать правильные решения


При рассмотрении декларативной модели программы порядок подцелей в предложении и предложений в процедуре:

не имеет значения
имеет значение


Связанная переменная - это переменная, которая

имеет "начальное" значение, соответствующее домену (ноль для числового домена; пустая строка - для строкового домена и т.д.)
имеет какое-то значение
не имеет никакого значения


Емкость внутренней базы данных ограничена сверху:

емкостью жесткого диска
ничем не ограничена
объемом оперативной памяти


В программе на Прологе вместо ":-" можно писать

or
and
if


В программе на Прологе вместо "," можно писать

if
or
and


Имя предиката может начинаться

с латинской буквы или знака подчеркивания
с цифры или знака подчеркивания
с латинской буквы, цифры или знака подчеркивания
с латинской буквы или цифры


Какие из алгоритмов проще с логической точки зрения:

рекурсивные
итерационные


Какой из алгоритмов, в общем случае, требует больше оперативной памяти?

рекурсивный
итерационный


Нужно ли в теле правила, определяющего шаг рекурсии, указывать в качестве подцели определяемый предикат?

нет
да


Оптимизация, после которой рекурсия будет использовать столько же оперативной памяти, сколько и итерация, возможна для

правосторонней рекурсии
и левосторонней, и правосторонней рекурсии
ни для левосторонней, ни для правосторонней рекурсии
левосторонней рекурсии


Обязательно ли должно быть предложение, реализующее шаг рекурсии, в рекурсивной процедуре?

да
нет


Сколько базисов рекурсии должно быть в рекурсивной процедуре?

ни одного
не менее одного
один


Программируя в декларативном стиле, программист должен ответить на вопрос:

что решать?
как решать?


Отношение называется транзитивным, если

для любой пары (A,B), находящейся в этом отношении следует, что пара (B,A) также находится в этом отношении
для любых пар (A,B) и (B,C), находящихся в этом отношении следует, что пара (A,С) также находится в этом отношении
для любых пар (A,B) и (B,C), находящихся в этом отношении следует, что пара (A,С) не находится в этом отношении
для любой пары (A,B), находящейся в этом отношении следует, что пара (B,A) не находится в этом отношении


Одно отношение называется транзитивным замыканием другого отношения, если

это наибольшее транзитивное отношение, включающее исходное отношение
оно включает исходное отношение и является транзитивным отношением
это наименьшее транзитивное отношение, включающее исходное отношение


Следует избегать использования

правосторонней рекурсии
и левосторонней, и правосторонней рекурсии
левосторонней рекурсии
ни левосторонней, ни правосторонней рекурсии


Левосторонняя рекурсия плоха тем, что она

слишком медленно работает
менее понятна, чем правосторонняя
приводит к зацикливанию и исчерпанию стека


Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?

произойдет зацикливание
пролог система выдаст сообщение об ошибке
ничего
предикат будет терпеть неуспех в большинстве случае


В результате выполнения предиката fib_fast(3,X,Y) переменные X и Y получат значения:

X=1, Y=1
X=3, Y=5
X=2, Y=2
X=2, Y=3
X=1, Y=2


В результате выполнения предиката fib(2,X) переменная X будет означена числом

2
3
0
5
1


В результате выполнения предиката fact(4,X) переменная X будет означена числом

4
0
24
12
1


Хвост списка - это:

его последний элемент
элементы списка, не вошедшие в его голову
список, состоящий из всех элементов исходного списка, не вошедших в его голову


Может ли в программе быть несколько разделов описаний предикатов?

нет
да


Раздел описания доменов соответствует в императивных языках программирования:

разделу описания констант
разделу описания типов данных
разделу описания переменных


Может ли в программе быть несколько разделов описаний внутренней цели?

нет
да


Предикаты, осуществляющие преобразование типов, имеют:

два варианта использования
один вариант использования
три варианта использования


Если аргументом предиката bound является свободная переменная, то он:

зависит от значения переменной
ложен
истинен


Быстрее выполняются и используют меньше оперативной памяти:

детерминированные предикаты
недетерминированные предикаты


Возможно ли в разделе описания предикатов PREDICATES наличие нескольких описаний одного предиката?

нет
да


Может ли программа, не содержащая внутренней цели, быть скомпилирована в исполняемый файл

да
нет


Можно ли не описывать в разделе описания предикатов предикат, реализованный в разделе описания предложений?

да
нет


Подцель, размещенная в теле правила после предиката fail:
выполняется при каждом выполнении правила
никогда не выполняется


Можно ли, в разделе описания предложений использовать в качестве первого символа имени константы прописной символ?

нет
да


Откат происходит в тот момент, когда:

все подцели, расположенные правее или ниже места, указатель на которое был последним помещен в стек точек отката, оказались неуспешными
одна из подцелей, расположенных правее или ниже места, указатель на которое был последним помещен в стек точек отката, оказалась неуспешной
одна из подцелей, расположенных левее или выше места, указатель на которое последним помещен в стек точек отката, оказалась неуспешной
все подцели, расположенные левее или выше места, указатель на которое был последним помещен в стек точек отката, оказались неуспешными


Откат происходит в то место программы, указатель на которое находится:

в конце стека точек возврата
в случайном месте стека точек возврата
в начале стека точек возврата


Бэктрекинг реализует:

поиск в толщину
поиск в высоту
поиск в ширину
поиск в глубину


Стек точек возврата освобождается в тот момент, когда

все альтернативные варианты оказываются исчерпанными
происходит возврат в то место программы, указатель на которое находился в стеке точек возврата
одна из подцелей программы терпит неудачу


В случае наличия в программе раздела внутренней цели Турбо Пролог находит:

первое означивание переменных, удовлетворяющее цели
всевозможные означивания переменных, удовлетворяющих цели


Можно ли в методе отката после неудачи обойтись без использования стандартного предиката FAIL?

да
нет


Метод отсечения и отката:

позволяет организовывать откат, до тех пор, пока не будет выполнено некоторое условие
позволяет организовывать циклы, подобные циклам в императивных языках
позволяет получать всевозможные решения


Метод повтора, определяемый пользователем:

позволяет организовывать циклы, подобные циклам в императивных языках
позволяет получать всевозможные решения
позволяет организовывать откат, до тех пор, пока не будет выполнено некоторое условие


Относится ли предикат repeat к стандартным (встроенным) предикатам?

нет
да


При откате к точке возврата связанные переменные, означенные после нее:

означиваются следующими значениями
становятся свободными
не меняют своих значений


В стек точек возврата помещается указатель на то место программы, в котором:

возможен выбор одного из нескольких вариантов означивания переменных
происходит откат для выбора альтернативных решений


О неудачной попытке вычислить текущую подцель информирует (в окне трассировки):

слова "RETURN"
слова "FAIL"
символа "*";


О наличии у текущей подцели альтернативных решений (в окне трассировки) индицирует:

символа "*";
слова "FAIL"
слова "RETURN"


Результат вычисления текущей подцели выводится (в окне трассировки) после:

символа "*";
слова "RETURN"
слова "FAIL"


Количество элементов списка ограничивается:

максимальным размером списка, заданным при его создании
размером оперативной памяти
размером жесткого диска


Можно ли в Турбо Прологе разместить в одном списке объекты разной природы (например, строки и целые числа)?

нет
да


Могут ли в Турбо Прологе элементы списка принадлежать разным доменам?

нет
да


Можно ли представить пустой список в виде [H|T]:

да. При этом T будет пустым списком
да. При этом H будет пустым списком
нет


Двухэлементный список [1,2] не унифицируется со списком:

[1|[2]]
[1,2|[]]
[[1],[2]]


Можно ли унифицировать списки [1] и [1|X]?

нет
да


Возможно ли унифицировать списки [1,2] и [3|X]

да
нет


Можно ли унифицировать списки [] и [1]?

нет
да


В результате унификации списков [1,2,3,4] и [X,Y|Z] переменные получат следующие значения:

X=1, Y=[2,3], Z=[4]
X=1, Y=2, Z=[3,4]
X=1, Y=2, Z=3
X=1, Y=[2], Z=[3,4]


Могут ли элементы списка быть, в свою очередь, списками?

нет
да


Является ли конструкция [[1,2], [3], [], []] списком?

нет
да


Является ли конструкция [[1,2], 3] списком?

нет
да


Принадлежит ли число 2 списку [[1,2,3],[4,5]]?

нет
да


Могут ли элементы списка быть составными объектами?

нет
да


При выполнении предиката sum([1,2,3],X) переменная X будет означена числом:

3
0
2
6
1


При выполнении предиката min_list([1,2,3],X) переменная X будет означена числом:

6
1
3
0
2


При выполнении предиката avg([1,2,3],X) переменная X будет означена числом:

2
3
0
1
6


В алгоритме сортировкипо возрастанию перестановками предикат permutation выполняет перестановку двух соседних элементов в случае, если:

первый равен второму
первый меньше второго
первый больше второго


Алгоритм сортировки вставками основан на размещении:

последнего элемента списка в отсортированном начале списка
первого элемента списка в отсортированном хвосте списка


Можно ли модифицировать алгоритм сортировки выбором так, чтобы он был основан на выборе максимального элемента списка и приписывании его в конец?

да
нет

Внимание !
Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier!

---

Алгоритм сортировки фон Неймана основан на:

выделении минимального элемента; упорядочивании оставшихся элементов; приписывании минимального элемента в начало полученного списка
разбиении исходного списка на два подсписка, в первый из которых помещаются элементы, меньшие данного, во второй – все остальные. Списки сортируются, после чего соединяются в один список
разбиении списка на два подсписка; упорядочивании каждого из них; обратной сборке из них одного списка
перестановке соседних элементов, находящихся в неправильном порядке, до тех пор, пока есть такие элементы


Алгоритм пузырьковой сортировки основан на:

разбиении исходного списка на два подсписка, в первый из которых помещаются элементы, меньшие данного, во второй – все остальные. Списки сортируются, после чего соединяются в один список
разбиении списка на два подсписка; упорядочивании каждого из них; обратной сборке из них одного списка
перестановке соседних элементов, находящихся в неправильном порядке, до тех пор, пока есть такие элементы


Алгоритм сортировки Хоара основан на:

разбиении исходного списка на два подсписка, в первый из которых помещаются элементы, меньшие данного, во второй – все остальные. Списки сортируются, после чего соединяются в один список
разбиении списка на два подсписка; упорядочивании каждого из них; обратной сборке из них одного списка
выделении минимального элемента; упорядочивании оставшихся элементов; приписывании минимального элемента в начало полученного списка


В результате выполнения предиката partition([1,2,3],2,L1,L2) переменные L1 и L2 получат значения:

L1=[1,2], L2=[3]
L1=[1], L2=[2,3]
L1=[], L2=[1,2,3]
L1=[1,2,3], L2=[]


В результате выполнения предиката insert(2,[1],L) переменная L будет означена списком:

[1]
[2,1]
[2]
[1,2]


В результате выполнения предиката permutation([3,2,1],L) переменная L будет означена списком:

[2,1,3]
[2,3,1]
[3,2,1]
[3,1,2]
[1,2,3]
[1,3,2]


Можно ли реализовать предикат min_list без использования предиката min?

нет
да


Можно ли реализовать предикат avg без использования предикатов summa и length?

да
нет


В результате выполнения предиката splitting([1,2,3],L1,L2) переменные L1 и L2 получат значения:

L1=[1,3], L2=[2]
L1=[], L2=[1,2,3]
L1=[1,2,3], L2=[]
L1=[2,3], L2=[1]
L1=[1], L2=[2,3]
L1=[1,2], L2=[3]


Изменится ли результат, если в предикате, реализующем пересечение, поменять местами первый и второй аргументы?

нет
да


Изменится ли результат, если в предикате, реализующем симметрическую разность, поменять местами первый и второй аргументы?

нет
да


Изменится ли результат, если в предикате, реализующем разность, поменять местами первый и второй аргументы?

нет
да


Объединением множеств [1,2] и [2,3] будет множество:

[1,2]
[1]
[3]
[1,2,3]
[1,3]
[]
[2]
[2,3]


Разностью множеств [1,2] и [2,3] будет множество:

[1,2]
[3]
[2]
[1,2,3]
[1,3]
[2,3]
[1]
[]



Симметрической разностью множеств [1,2] и [2,3] будет множество:

[1,2,3]
[]
[1]
[3]
[2]
[2,3]
[1,2]
[1,3]


Будет ли множество [1,2,3] совпадать со множеством [2,1,3]?

да
нет


Будет ли множество [1,2,3] подмножеством множества [2,1,3]?

нет
да


Будет ли множество [1,2,3] собственным подмножеством множества [2,1,3]?

нет
да


Будет ли истинным предикат member3(2,[1,3])?

да
нет


Будет ли истинным предикат list_set([1,2,1,1,2],[1,2])?

нет
да


Будет ли истинным предикат member3(2,[1,2,3])?

да
нет


В результате выполнения предиката supp([1,2,3,4,5],L) переменная L будет означена списком:

[1,2,3,4,5]
[5,4,3,2,1]
[0,6,7,8,9]
[]


Изменится ли результат, если в предикате, реализующем объединение, поменять местами первый и второй аргументы?

нет
да


Если взять дополнение к дополнению множества, то получится:

пустое множество
исходное множество
универсальное множество


Можно ли было при описании "деревянного" домена использовать вместо идентификатора tree, какой-нибудь другой идентификатор?

нет
да


Можно ли было при описании "деревянного" домена использовать вместо функтора tr, употребленного нами, какой-нибудь другой функтор?

да
нет


Можно ли было при описании "деревянного" домена использовать вместо идентификатора empty, употребленного нами для обозначения пустого дерева, какой-нибудь другой идентификатор?

да
нет


В ориентированном графе дуга представляет собой:

упорядоченную пару
неупорядоченную пару


Может ли быть у графа несколько корневых вершин?

да
нет


Может ли быть у вершины дерева несколько предков?

да
нет


Крона дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) состоит из вершин:

{2,5}
{1,2,3,5}
{3}
{1,5}
{1,2}


Является ли дерево tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) двоичным справочником?

нет
да


Высота дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) равна:

0
4
1
2
3


Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?

да
нет


В неориентированном графе дуга представляет собой:

упорядоченную пару
неупорядоченную пару


Может ли быть у дерева несколько корневых вершин?

нет
да


Может ли быть у вершины графа несколько предков?

нет
да


В результате вызова предиката tree_length(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:

3
4
2
0
1


В результате вызова предиката tree_sum(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:

5
0
11
13
1


В результате вызова предиката tree_list(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:

[3,1,2,5]
[1,2,3,5]
[5,3,2,1]
[]


Можно ли использовать предикат frontchar для того, чтобы приписать символ в начало строки?

нет
да


Можно ли использовать предикат frontstr для того, чтобы соединить две строки?

да
нет


Предикат isname будет истинным, если строка, указанная в качестве его единственного параметра, представляет собой:

идентификатор
строку, начинающуюся с цифры
атом
строку, содержащую пробелы


В результате выполнения цели str_pos('а',"мама",N) переменная N будет конкретизирована значением:

2
0
3
1
4


В результате выполнения цели count_digit("1 и 9 мая",N) переменная N будет конкретизирована значением:

3
4
2
0
1


В результате выполнения цели char_count("мама",'м',N) переменная N будет конкретизирована значением:

4
3
1
0
2


Можно ли использовать предикат str_len для получения строки, содержащей заданное количество символов?

нет
да


Сколько имеется вариантов использования предиката frontstr?

3
2
1
5
4


В результате выполнения цели char_count("мама",'п',N) переменная N будет конкретизирована значением:

4
3
2
0
1


В результате выполнения цели count_digit("мама мыла раму",N) переменная N будет конкретизирована значением:

3
0
4
1
2


В результате выполнения цели str_pos('п',"мама",N) переменная N будет конкретизирована значением:

0
2
3
4
1


Если означить первый аргумент предиката str_list строкой, состоящей из одного пробела, то второй аргумент будет конкретизирован:

[]
['']
[' ']


Можно ли использовать предикат frontstr для того, чтобы разделить исходную строку на две подстроки?

нет
да


Можно ли использовать предикат concat для того, чтобы соединить две строки?

нет
да


Какое из устройств является стандартным устройством вывода информации по умолчанию?

Screen
Com1
Printer
Keyboard


Какое из устройств является стандартным устройством ввода информации по умолчанию?

Screen
Keyboard
Printer
Com1


Какое из устройств является стандартным устройством вывода информации об ошибках, по умолчанию?

Keyboard
Printer
Screen
Com1


Выполнение подцели filepos(f,3,1) приведет к смещению позиции чтения/записи;

на три элемента относительно текущей позиции чтения/записи
на третий элемент файла
на третий с конца элемент файла


Выполнение подцели filepos(f,3,2) приведет к смещению позиции чтения/записи:

на третий элемент файла
на третий с конца элемент файла
на три элемента относительно текущей позиции чтения/записи


Выполнение подцели filepos(f,3,0) приведет к смещению позиции чтения/записи:

на три элемента относительно текущей позиции чтения/записи
на третий элемент файла
на третий с конца элемент файла


Для того чтобы открыть файл на дозапись в конец служит предикат:

openappend
openread
openmodify
openwrite


Для того чтобы открыть файл на запись служит предикат:

openread
openappend
openwrite
openmodify


Для того чтобы открыть файл одновременно на чтение и запись служит предикат:

openmodify
openread
openwrite
openappend


Для чтения целого числа из файла служит предикат:

readchar
readreal
readterm
readln
readint


Для чтения символа из файла служит предикат:

readchar
readln
readterm
readreal
readint


Для чтения строки из файла служит предикат:

readint
readchar
readreal
readln
readterm


Можно ли использовать предикат filemode для того чтобы установить режим работы с файлом (бинарный или текстовой)?

нет
да


Можно ли использовать предикат filemode для того чтобы узнать в каком режиме (бинарном или текстовом) обрабатывается файл?

нет
да


Можно ли использовать предикат filemode для того чтобы изменить режим отсчитывания позиции для предиката filepos (от начала файла, от конца файла или от текущей позиции)?

да
нет


Можно ли разместить во внутренней базе данных Турбо Пролога правила?

нет
да


Может ли раздел описания предикатов внутренней базы данных быть безымянным?

да
нет


Может ли быть в программе несколько разделов описания предикатов внутренней базы?

да
нет


Обработка данных, размещенных во внутренней базе данных, по сравнению с обработкой данных, размещенных во внешней базе данных, происходит:

примерно с той же скоростью
медленнее
быстрее


Можно ли сохранить факты, размещенные в динамической базе данных, на диске?

да
нет


Предикат retract служит для удаления из внутренней базы данных:

первого факта
всех фактов
последнего факта


Нельзя использовать для добавления факта в конец внутренней базы данных предикат:

Asserta
Assertz
Assert


Для добавления факта в начало внутренней базы данных служит предикат:

Assertz
Assert
Asserta


Емкость внешней базы данных ограничена сверху:

емкостью жесткого диска
ничем не ограничена
объемом оперативной памяти


Может ли быть в программе несколько безымянных разделов описаний предикатов внутренней базы данных?

нет
да


Предикат retractall служит для удаления из внутренней базы данных:

последнего факта
первого факта
всех фактов


Могут ли факты внутренней базы данных Турбо Пролога содержать свободные переменные?

да
нет


Возможно ли изменить сохраненную в файл внутреннюю базу данных, средствами обычного текстового редактора?

нет, это возможно сделать только из программы;
да


Могут ли факты внутренней базы данных Турбо Пролога содержать анонимную переменную?

нет
да

Вы можете обратится к нам напрямую, через:

По Skype: molodoyberkut
По Telegram: @MolodoyBerkut
По ICQ: 657089516

Или через форму обратной связи на нашем сайте

Пока сочиняется...