Lab 1 (Prolog)

Question 1

На чём основан язык программирования Prolog?

Answer 1

Логика предикатов

Question 2

Что такое предикат?

Answer 2

Функция, возвращающая бинарное значение (истина или ложь)

Question 3

Какой знак в Prolog идентичен конъюнкции (союз “И”)?

Answer 3

Запятая (,)

Question 4

Что такое унификация?

Answer 4

Сопоставление предиката цели с предикатами базы знаний

Question 5

Два состояния переменных в Prolog

Answer 5

Свободные (free) и связанные (bound)

Question 6

Допускается ли переприсвоение значений переменным в Prolog?

Answer 6

Нет

Question 7

Что такое неоднозначный предикат?

Answer 7

Предикат, у которого несколько экземпляров в базе знаний

Question 8

Что такое однозначный предикат?

Answer 8

Предикат, у которого один экземпляр в базе знаний

Question 9

Что происходит в случае неоднозначного предиката после неудачи?

Answer 9

Переход к следующему экземпляру предиката (откат) и отмена присвоения значения переменным

Question 10

Что такое правило в Prolog?

Answer 10

1. Условное отношение
2. Способ порождения новых фактов на основе имеющихся
3. Знания, которые выводятся на основании фактов

Question 11

Что является заголовком правила в Prolog?

Answer 11

Выражение слева от условия

Question 12

Что является телом правила в Prolog?

Answer 12

Выражение справа от условия

Question 13

Что такое факт в Prolog?

Answer 13

1. То, что изначально известно
2. Знания, основанные на константах

Question 14

Какими являются переменные в Prolog?

Answer 14

Локальными (существуют только внутри правила)

Question 15

Как создаются глобальные переменные в Prolog?

Answer 15

С помощью предиката assert

Question 16

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

Answer 16

С помощью предикатов retract или retractall

Question 17

Содержит ли в себе алгоритм набор фактов и правил в языке Prolog?

Answer 17

Нет

Question 18

В ходе чего происходит объединение правил для вывода результата?

Answer 18

Резолюции цели

Question 19

Что такое резолюция цели?

Answer 19

Выполнение программы на Prolog

Question 20

Куда происходит переход при откате внутри правила?

Answer 20

К предыдущему неоднозначному предикату в правиле

Question 21

Как сделать предикат симметричным?

Answer 21

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

Question 22

Каким образом Prolog выполняет резолюцию цели?

Answer 22

Делает полный обход дерева решений

Question 23

Что такое отсечение в Prolog?

Answer 23

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

Question 24

Когда срабатывает отсечение?

Answer 24

Когда Prolog пройдёт через него

Question 25

Какова функция отсечения?

Answer 25

Уничтожает указатели отката, делая предыдущие предикаты данного правила однозначными

Question 26

Когда следует включать отсечения в программу?

Answer 26

Когда точно известно, что решение либо единственное, либо его нет вовсе

Question 27

Какое отсечение называется зелёным?

Answer 27

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

Question 28

Какое отсечение называется красным?

Answer 28

Влияющее на логику программы, без которого программа работает иначе

Question 29

В чём преимущество использования отсечений?

Answer 29

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

Question 30

Что такое список в Prolog?

Answer 30

Упорядоченная последовательность однотипных элементов

Question 31

Как создаётся список с точки зрения синтаксиса?

Answer 31

Элементы списка
заключаются в квадратные скобки и разделяются запятыми

Question 32

Как объявляется список?

Answer 32

название_списка = тип_списка*

Question 33

Какова единственная операция, которая допускается над списком?

Answer 33

Отсечение головы от хвоста (можно использовать только в аргументах предикатов)

Question 34

Какой знак в Prolog идентичен дизъюнкции (союз “ИЛИ”)?

Answer 34

Точка с запятой (;)