Мир студента ОГУ - Функциональное и логическое программирование

2

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

10 рублей за вопрос

Письма присылайте на Почтовый ящик

1 Основные понятия функционального языка программирования ЛИСП

1.1 Укажите правильные варианты и нажмите кнопку «Ответить».

Какие встроенные (примитивные) функции содержатся в базисе языка ЛИСП:
а) CAR; (25%)
б) CDR; (25%)
в) CONS; (25%)
г) COND;
д) EQ. (25%)

1.2 Укажите правильные варианты и нажмите кнопку «Ответить».

Какие специальные функции содержатся в базисе языка ЛИСП:
а) CONS;
б) COND; (50%)
в) LABEL; (50%)
г) DEFUN;
д) ATOM.

1.3 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция CAR предназначена для:
а) получения первого элемента списка;
б) получения последнего элемента списка;
в) получения всех кроме первого элемента списка;
г) получения всех кроме последнего элемента списка;
д) для удаления списка.

1.4 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция CDR предназначена для получения:
а) получения первого элемента списка;
б) получения последнего элемента списка;
в) получения всех кроме первого элемента списка;
г) получения всех кроме последнего элемента списка;
д) для ввода списка.

1.5 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция CONS строит списки из:
а) бинарных узлов;
б) констант;
в) атомов;
г) переменных;
д) списков.

1.6 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция EQ выполняет:
а) проверку атомарных объектов на равенство;
б) проверку атомарных объектов на правильность записи;
в) проверку объектов на равенство;
г) проверку атомарных объектов на истинность;
д) объединение атомарных объектов.

1.7 Выберите правильный вариант и нажмите кнопку «Ответить».

Любое S-выражение может быть построено из атомов с помощью функции:
а) CDR;
б) CONS;
в) CAR;
г) ATOM;
д) LAMBDA.

1.8 Выберите правильный вариант и нажмите кнопку «Ответить».

Композиции функций можно строить с помощью:
а) встроенных функций;
б) S-выражений;
в) вложенных скобок;
г) точечной нотации;
д) атомов.

1.9 Выберите правильный вариант и нажмите кнопку «Ответить».

Соответствие между именем функции, и ее определением можно задать с помощью специальной псевдо-функции:
а) QUOTE;
б) LABEL;
в) LAMBDA;
г) DEFUN;
д) COND.

1.10 Выберите правильный вариант и нажмите кнопку «Ответить».

Форма - это выражение, которое может быть:
а) подобранно;
б) передано;
в) присвоено;
г) вычислено;
д) задано.

1.11 Выберите правильный вариант и нажмите кнопку «Ответить».

Интерпретация функций осуществляется как взаимодействие:
а) 2 подсистем;
б) 3 подсистем;
в) 4 подсистем;
г) 5 подсистем;
д) 6 подсистем.

1.12 Выберите правильный вариант и нажмите кнопку «Ответить».

Функционалы - это функции, которые используют в качестве аргументов или результатов:
а) переменные;
б) переменные и константы;
в) функции;
г) константы;
д) S-выражения.

1.13 Выберите правильный вариант и нажмите кнопку «Ответить».

Фильтр отличается от обычного отображения тем, что
а) окончательно собирает все результаты;
б) окончательно собирает не все результаты;
в) временно собирает не все результаты;
г) временно собирает все результаты;
д) удаляет все результаты;

1.14 Выберите правильный вариант и нажмите кнопку «Ответить».

ЛИСП является:
а) процедурным языком;
б) языком высокого уровня;
в) машинным языком;
г) декларативным языком;
д) императивным языком.

1.15 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция LABEL:
а) объявляет значение переменной;
б) устанавливает соответствие между именем функции, и ее определением;
в) блокирует вычисление аргументов;
г) объединяет свои аргументы;
д) производит проверку на равенство своих аргументов.

1.16 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция QUOTE:
а) объявляет значение переменной;
б) устанавливает соответствие между именем функции, и ее определением;
в) блокирует вычисление аргументов;
г) организует ветвление;
д) производит проверку на равенство своих аргументов.

1.17 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция COND:
а) объявляет значение переменной;
б) организует ветвление;
в) блокирует вычисление аргументов;
г) объединяет свои аргументы;
д) производит проверку на равенство своих аргументов.

1.18 Выберите правильный вариант и нажмите кнопку «Ответить».

Результатом применения функции CAR к списку (A B (C E)) будет:
а) A;
б) A B;
в) (A B);
г) (C E);
д) ((C E)).

1.19 Выберите правильный вариант и нажмите кнопку «Ответить».

Результатом применения функции CAR к S-выражению (A . (C . E)) будет:
а) (A);
б) A;
в) A . (C . E);
г) (C . E);
д) Nil.

1.20 Выберите правильный вариант и нажмите кнопку «Ответить».

Результатом применения функции CDR к списку (A B (C E)) будет:
а) A;
б) A B;
в) (A B);
г) (C E);
д) ((C E)).

1.21 Выберите правильный вариант и нажмите кнопку «Ответить».

Результатом применения функции CDR к S-выражению ((A . C) . E) будет:
а) A . C;
б) (A . C);
в) E;
г) (E);
д) ((E)).

1. 22 Выберите правильный вариант и нажмите кнопку «Ответить».

Результатом применения функции CONS к спискам (A B) (C E) будет:
а) (A B C E);
б) ((A B C E));
в) (A B (C E));
г) ((A B) C E);
д) A B C E.

1. 23 Выберите правильный вариант и нажмите кнопку «Ответить».

Результатом применения функции CONS к S-выражениям (A . B) (C . E) будет:
а) (A . B . C . E);
б) ((A . B . C . E));
в) (A . B) . (C . E));
г) (((A . B) . C) . E);
д) (A . (B . (C . E))).

1. 24 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько аргументов имеет специальная псевдо-функция DEFUN:
а) 0;
б) 1;
в) 2;
г) 3;
д) 4.

1. 25 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько элементов верхнего уровня содержит список (((a (b c)) d (e f)) g)
а) 1;
б) 2;
в) 3;
г) 4;
д) 5.

1. 26 Выберите правильный вариант и нажмите кнопку «Ответить».

Как на языке ЛИСП реализовано сложение:
а) (1 + 2 + 3 + 4);
б) (1 2 3 4 +);
в) (+ 1 2 3 4);
г) (+ 1 (+ 2 ( +3 ( + 4))));
д) + (1 2 3 4).

1. 27 Выберите правильный вариант и нажмите кнопку «Ответить».

Функция SET:
а) объявляет значение переменной;
б) устанавливает соответствие между именем функции, и ее определением;
в) блокирует вычисление аргументов;
г) организует ветвление;
д) производит проверку на равенство своих аргументов.

1.28 Укажите правильные варианты и нажмите кнопку «Ответить».

Какие выражения не относится к S-выражениям:
а) ATOM;
б) (C . (A . B));
в) ((A . B) C); (50%)
г) ((A . B) . D . C); (50%)
д) ((A . B) . (D . (C . E))).

1.29 Укажите правильные варианты и нажмите кнопку «Ответить».

При каких значениях выполняется выражение (CONS (CAR x) (CDR x))=x:
а) при любых;
б) (A B C); (50%)
в) A;
г) (A . B);(50%)
д) Nil.

1.30 Укажите правильные варианты и нажмите кнопку «Ответить».

Выделите важные принципы отличия функционального подхода программирования от других подходов:
а) природа данных; (35%)
б) подобие языкам высокого уровня;
в) подобие машинным языкам; (30%)
г) самоописание обработки символьных выражений; (35%)
д) специальные методы обработки данных.

2 Соответствие списков и равнозначных им S-выражений

2. 1 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A B (C D) (E F)) S-выражение:
а) (A . (B . ((C . (D)) . ((E . (F))))))));
б) (A . (B . ((C . (D . nil)) . ((E . (F . nil)) . nil))))));
в) (A . (B . ((C . (D . nil)) . ((E . (F . nil))))))));
г) (A . (B . ((C . D . nil) . ((E . F . nil) . nil))));
д) (A . B . (C . D) . (E . F)).

2. 2 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B (C D) E) F) S-выражение:
а) (A . (B . (C . D) . E ) . F);
б) (A . ((B . (C . (D . nil) . (E . nil))) . (F . nil)));
в) (A . (B . ((C . (D . nil) . (E . nil))) . (F . nil)));
г) (A . ((B . ((C . (D . nil)) . (E . nil))) . (F . nil)));
д) (A . ((B . ((C . (D . nil)) . (E . nil))) . F)).

2. 3 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A B C) (D E F)) S-выражение:
а) (A . (B . (C . nil))) . ((D . (E . (F . nil))) . nil);
б) ((A . (B . (C . nil))) . (D . (E . (F . nil)) . nil));
в) (A . (B . (C . nil)) . ((D . (E . (F . nil))) . nil));
г) ((A . B . C) . (D . E . F));
д) ((A . (B . (C . nil))) . ((D . (E . (F . nil))) . nil)).

2. 4 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A (B (C))) D E F) S-выражение:
а) ((A . ((B . ((C . nil) . nil)) . nil)) . (D . (E . (F . nil))));
б) (A . (B . (C)) . D . E . F);
в) (A . ((B . ((C . nil) . nil)) . nil) . (D . (E . (F . nil))));
г) ((A . (B . ((C . nil) . nil) . nil)) . (D . (E . (F . nil))));
д) ((A . ((B . (C . nil) . nil)) . nil)) . (D . (E . (F . nil))).

2. 5 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B) C (D) (E F)) S-выражение:
а) (A . (B . nil . (C . (D . nil . ((E . F . nil) . nil)))));
б) (A . (B . nil) . (C . (D . nil) . (E . (F . nil)) . nil));
в) (A . ((B) . (C . ((D) . ((E . (F)))))));
г) (A . ((B . nil) . (C . ((D . nil) . ((E . (F . nil)) . nil)))));
д) (A . (B . nil) . (C . (D . nil) . (E . (F . nil)) . nil))).

2. 6 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A (B C)) D (E F)) S-выражение:
а) (A . (B . C) . D . (E . F));
б) ((A . ((B . (C . nil)) . nil)) . (D . ((E . (F . nil)) . nil)));
в) ((A . ((B . (C)) . nil)) . (D . ((E . (F . nil)) . nil)));
г) ((A . ((B . (C . nil))) . (D . ((E . (F . nil)) . nil)));
д) ((A . ((B . (C . nil)) . nil)) . (D . ((E . (F . nil))))).

2. 7 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B C) (D E) F) S-выражение:
а) (A . (B . (C . nil) . ((D . (E . nil)) . (F . nil))));
б) (A . ((B . (C . nil)) . (D . (E . nil) . (F . nil))));
в) (A . (B . (C . nil) . (D . (E . nil) . (F . nil))));
г) (A . ((B . (C) . ((D . (E) . (F)));
д) (A . ((B . (C . nil)) . ((D . (E . nil)) . (F . nil)))).

2. 8 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B (C D E)) F) S-выражение:
а) (A . ((B . ((C . (D . (E . nil))) . nil)) . (F . nil)));
б) (A . ((B . ((C . (D . (E))))) . (F)));
в) (A . (B . (C . (D . (E . nil)) . nil) . (F . nil)));
г) (A . ((B . (C . (D . (E . nil)) . nil)) . (F . nil)));
д) (A . (B . ((C . (D . (E . nil))) . nil) . (F . nil))).

2. 9 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B (C (D E))) F) S-выражение:
а) (A . ((B . ((C . ((D . (E . nil)) . nil)) . nil)) . (F . nil)));
б) (A . (B . ((C . ((D . (E . nil)) . nil)) . nil) . (F . nil)));
в) (A . ((B . (C . ((D . (E . nil)) . nil) . nil)) . (F . nil)));
г) (A . (B . (C . (D . E))) . F);
д) (A . ((B . ((C . ((D . (E)))))) . (F))).

2. 10 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A B C (D (E (F)))) S-выражение:
а) (A . (B . (C . ((D . ((E . ((F . nil) . nil)) . nil))))));
б) (A . (B . (C . ((D . ((E . ((F . nil) . nil)) . nil)) . nil))));
в) (A . (B . (C . ((D . ((E . ((F . nil) . nil)) . nil)))) . nil));
г) (A . (B . (C . ((D . ((E . ((F)))))))));
д) (A . (B . (C . ((D . ((E . ((F) . nil)) . nil)) . nil)))).

2. 11 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B C (D E F))) S-выражение:
а) (A . ((B . (C . ((D . (E . (F . nil)) . nil)) . nil)));
б) (A . ((B . (C . ((D . (E . (F . nil)) . nil)))));
в) (A . ((B . (C . ((D . (E . (F . nil)) . nil))) . nil));
г) (A . ((B . (C . ((D . (E . (F)) . nil))) . nil));
д) (A . ((B . (C . ((D . (E . (F))))))).

2. 12 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A) B (C D)) E F) S-выражение:
а) ((A . nil) . (B . ((C . (D . nil)) . nil))) . (E . (F . nil));
б) ((A . (B . (C . (D . nil)) . nil)) . (E . (F . nil)));
в) (((A . nil) . (B . ((C . (D . nil)) . nil))) . (E . (F . nil)));
г) ((A . (B . ((C . (D . nil)) . nil)) . (E . (F . nil))));
д) ((A . (B . (C . (D . nil) . nil))) . (E . (F . nil))).

2. 13 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (((A) B C D) E F) S-выражение:
а) ((A . nil) . (B . (C . (D . nil)) . (E . (F . nil)));
б) ((((A . nil) . (B . (C . (D . nil))) . (E . (F . nil)));
в) ((A . nil) . (B . (C . (D . nil))) . (E . (F . nil)));
г) (((A . nil) . (B . (C . (D . nil)))) . (E . (F . nil)));
д) (((A) . (B . (C . (D)))) . (E . (F))).

2. 14 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A B (C D) E F)) S-выражение:
а) (A . (B . (C . (D . nil) . (E . (F . nil)))) . nil);
б) ((A . (B . ((C . (D . nil)) . (E . (F . nil))))) . nil);
в) ((A . (B . (C . (D . nil) . (E . (F . nil))))) . nil);
г) ((A . (B . (C . (D . nil)) . (E . (F . nil)))) . nil);
д) (A . (B . ((C . (D . nil)) . (E . (F . nil)))) . nil).

2. 15 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A B C) (D) E (F)) S-выражение:
а) (A . (B . (C . nil))) . ((D . nil) . (E . ((F . nil) . nil)));
б) (A . (B . (C . nil))) . ((D . nil) . (E . (F . nil) . nil));
в) ((A . (B . (C . nil))) . (D . nil) . (E . ((F . nil) . nil)));
г) ((A . (B . (C . nil))) . ((D . nil) . (E . (F . nil) . nil)));
д) ((A . (B . (C . nil))) . ((D . nil) . (E . ((F . nil) . nil)))).

2. 16 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку ((A B C) (D (E) F)) S-выражение:
а) ((A . (B . (C . nil))) . ((D . (E . nil) . (F . nil)) . nil));
б) (A . (B . (C . nil))) . ((D . ((E . nil) . (F . nil))) . nil);
в) (A . (B . (C . nil)) . ((D . ((E . nil) . (F . nil))) . nil));
г) ((A . (B . (C))) . ((D . ((E) . (F)))));
д) ((A . (B . (C . nil))) . ((D . ((E . nil) . (F . nil))) . nil)).

2. 17 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B (C D) E) (F)) S-выражение:
а) (A . ((B . ((C . (D . nil)) . (E . nil))) . ((F . nil) . nil)));
б) (A . ((B . ((C . (D . nil)) . (E . nil))) . ((F . nil))));
в) (A . ((B . ((C . (D . nil)) . (E))) . ((F . nil) . nil)));
г) (A . ((B . ((C . (D . nil)) . (E . nil))) . (F . nil) . nil));
д) (A . ((B . ((C . (D)) . (E . nil))) . ((F . nil) . nil))).

2. 18 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A B ((C D E) F)) S-выражение:
а) (A . (B . (((C . (D . (E . nil) . (F . nil)))));
б) (A . (B . (((C . (D . (E . nil) . (F . nil)) . nil)));
в) (A . (B . (((C . (D . (E . nil) . (F)) . nil)));
г) (A . (B . (((C . (D . (E) . (F . nil)) . nil)));
д) (A . (B . (C . (D . (E . nil) . (F . nil)) . nil).

2. 19 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A ((B C D) (E F))) S-выражение:
а) (A . (((B . (C . (D . nil))) . ((E . (F . nil)) . nil))));
б) (A . ((B . (C . (D . nil))) . ((E . (F . nil)) . nil)) . nil);
в) (A . (((B . (C . (D . nil))) . ((E . (F . nil)) . nil)) . nil));
г) (A . (((B . (C . (D . nil))) . ((E . (F)) . nil)) . nil));
д) (A . (((B . (C . (D . nil))) . ((E . (F . nil)))) . nil)).

2. 20 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите соответствующее списку (A (B C (D E (F)))) S-выражение:
а) (A . ((B . (C . (P . (E . ((F . nil) . nil))) . nil))) . nil);
б) (A . (B . (C . ((P . (E . ((F . nil) . nil))) . nil)) . nil));
в) (A . ((B . (C . ((P . (E . ((F . nil) . nil))) . nil))) . nil));
г) (A . ((B . (C . ((P . (E . ((F . nil) . nil))) . nil))) . nil));
д) (A . ((B . (C . (P . (E . (F . nil) . nil))) . nil) . nil)).

3 Многошаговый доступ к компонентам структуры

3. 1 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cdaddr к списку (A B (C D) (E F)):
а) (E F);
б) (C D);
в) (D);
г) D;
д) (E).

3. 2 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ, полученный после применения композиции cadadr к списку (A (B (C D) E) F):
а) (C D);
б) (D);
в) B;
г) E;
д) (B (C D)).

3. 3 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции caddar к списку ((A B C) (D E F)):
а) (A B C);
б) (D E F);
в) (B C);
г) F;
д) C.

3. 4 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cdadar к списку ((A (B (C))) D E F):
а) (B (C));
б) (B);
в) (C);
г) ((C));
д) B.

3. 5 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadddr к списку (A (B) C (D) (E F)):
а) A;
б) (B);
в) C;
г) (D);
д) (E F).

3. 6 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции caadar к списку ((A (B C)) D (E F)):
а) (D (E F));
б) (E F);
в) (B C);
г) (B);
д) B.

3. 7 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cdaddr к списку (A (B C) (D E) F):
а) (B C);
б) (D E);
в) (E);
г) F;
д) E.

3. 8 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cdaddr к списку (A (B (C D E)) F):
(нет правильного ответа)
а) (C D E);
б) (C D);
в) (D E);
г) (E);
д) (D).

3. 9 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadadr к списку (A (B (C (D E))) F):
а) (C (D E));
б) (D E);
в) (E);
г) E;
д) C.

3. 10 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadddr к списку (A B C (D (E (F)))):
а) (D (E (F)));
б) (E (F));
в) (F);
г) F;
д) C.

3. 11 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadadr к списку (A (B C (D E F))):
(правильный ответ С)
а) (B C (D E F));
б) (D E F);
в) (E F);
г) (F);
д) (B C).

3. 12 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции caadar к списку ((A B (C D)) E F):
(тоже ошибка)
а) (C D);
б) E;
в) F;
г) C;
д) D.

3. 13 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cddaar к списку (((A) B C D) E F)):
а) (E F);
б) (B C D);
в) (B C);
г) (C D);
д) (D).

3. 14 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadaar к списку (((A B C D) E F)):
а) (A B C D);
б) A;
в) B;
г) C;
д) D.

3. 15 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cdddar к списку ((A B C) (D) E (F)):
(нет решения)
а) (ABC);
б) ((D));
в) (E (F);
г) ((F));
д) (F).

3. 16 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadadr к списку ((A B C) (D (E) F)):
а) (A B C);
б) (D (E));
в) (E);
г) E;
д) F.

3. 17 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cadadr к списку (A (B (C D) E) (F)):
а) (B (C D));
б) (C D);
в) (F);
г) E;
д) C.

3. 18 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции caaadr к списку (A B ((C D E) F)):
(нет ответа)
а) (C D E);
б) (D E);
а) ((F));
б) (C);
в) C.

3. 19 Выберите правильный вариант и нажмите кнопку «Ответить».

Найдите ответ полученный после применения композиции cdaadr к списку (A ((B C D) (E F))):
а) (B C D);
б) (E F);
в) (C D);
г) (D);
д) D.

3. 20 Выберите правильный вариант и нажмите кнопку «Ответить».
Найдите ответ полученный после применения композиции cadadr к списку (A (B C (D E (F)))):
(ответ С)
а) (B C (D E (F)));
б) (D E (F));
в) (D E);
г) ((F));
д) (F).
4 Основные понятия логического языка программирования ПРОЛОГ

4. 1 Выберите правильный вариант и нажмите кнопку «Ответить».

ПРОЛОГ является:
а) процедурным языком;
б) языком высокого уровня;
в) машинным языком;
г) декларативным языком;
д) императивным языком.

4. 2 Выберите правильный вариант и нажмите кнопку «Ответить».

Программа на ПРОЛОГЕ есть совокупность:
а) целей;
б) атомов;
в) утверждений;
г) операторов;
д) функций.

4. 3 Укажите правильные варианты и нажмите кнопку «Ответить».

Разновидностью утверждений являются:
а) правила; (50%)
б) предложения;
в) заключения;
г) термы;
д) факты. (50%)

4. 4 Выберите правильный вариант и нажмите кнопку «Ответить».

Факты содержат отношения (или утверждения), которые:
а) всегда являются истинными или ложными;
б) всегда являются ложными;
в) всегда являются истинными;
г) требуют доказательства;
д) являются истинными только во время доказательства правил.

4. 5 Выберите правильный вариант и нажмите кнопку «Ответить».

Совокупность фактов в ПРОЛОГЕ называется:
а) базой данных;
б) базой знаний;
в) базой операторов;
г) базой процедур;
д) базой функций.

4. 6 Выберите правильный вариант и нажмите кнопку «Ответить».

Совокупность фактов и правил в ПРОЛОГЕ называется:
а) базой знаний;
б) базой операторов;
в) базой данных;
г) базой процедур;
д) базой функций.

4. 7 Выберите правильный вариант и нажмите кнопку «Ответить».

Правила всегда являются:
а) всегда ложными;
б) всегда истинными;
в) частично доказуемыми;
г) трудно доказуемыми;
д) истинными при определенных условиях.

4. 8 Выберите правильный вариант и нажмите кнопку «Ответить».

Запятая (,) между двумя условиями в правиле означает:
а) дизъюнкцию;
б) конъюнкцию;
в) разность;
г) объединение;
д) пересечение.

4. 9 Выберите правильный вариант и нажмите кнопку «Ответить».

Точка с запятой (;) между двумя условиями в правиле означает:
а) объединение;
б) пересечение;
в) разность;
г) дизъюнкцию;
д) конъюнкцию.

4. 10 Выберите правильный вариант и нажмите кнопку «Ответить».

Термами на ПРОЛОГЕ называются:
а) факты;
б) правила;
в) предложения;
г) объекты данных;
д) утверждения.

4. 11 Выберите правильный вариант и нажмите кнопку «Ответить».

Переменная служит для обозначения объекта, на который нельзя
а) сослаться по определению;
б) сослаться по значению;
в) сослаться по имени;
г) ссылаться вообще.

4. 12 Выберите правильный вариант и нажмите кнопку «Ответить».

Переменная в ПРОЛОГЕ должна начинаться с:
а) цифры;
б) специального символа;
в) прописной буквы;
г) строчной буквы.

4. 13 Выберите правильный вариант и нажмите кнопку «Ответить».

Областью действия переменной является:
а) факт;
б) объект;
в) вся программа;
г) условное выражение;
д) утверждение.

4. 14 Выберите правильный вариант и нажмите кнопку «Ответить».

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

4. 15 Выберите правильный вариант и нажмите кнопку «Ответить».

Анонимная переменная применяется тогда, когда конкретное значение переменной для данного утверждения:
а) неопределенно;
б) не конкретизировано;
в) несущественно;
г) заблокировано.

4. 16 Выберите правильный вариант и нажмите кнопку «Ответить».

Число компонент в структуре называется:
а) арностью;
б) порядком;
в) мощностью;
г) степенью;
д) высотой.

4. 17 Укажите правильные варианты и нажмите кнопку «Ответить».

Два терма сопоставимы если они:
а) одинаковые константы; (50%)
б) переменные и структура;
в) не конкретизированная переменная и константа; (50%)
г) структура и структуры;
д) константа и структура.

4. 18 Выберите правильный вариант и нажмите кнопку «Ответить».

Цели при вычислении выполняются последовательно, одна за другой, а в случае неудачи происходит:
а) переход к последующей цели;
б) откат к предыдущей цели;
в) переход на начало предложения;
г) блокировка предложения;
д) переход в конец предложения.

4. 19 Укажите правильные варианты и нажмите кнопку «Ответить».

Какие отсечения используются в ПРОЛОГЕ:
а) красные;
б) желтые;
в) зеленые;
г) синие;
д) черные.

4. 20 Выберите правильный вариант и нажмите кнопку «Ответить».

Какие отсечения влияют на декларативный смысл программы:
а) красные;
б) желтые;
в) зеленые;
г) синие;
д) черные.

4. 21 Укажите правильные варианты и нажмите кнопку «Ответить».

Какие отсечения влияют на процедурный смысл программы:
а) красные; (50%)
б) желтые;
в) зеленые; (50%)
г) синие;
д) черные.

4. 22 Выберите правильный вариант и нажмите кнопку «Ответить».

FAIL - встроенный предикат, который:
а) всегда терпит неудачу;
б) терпит неудачу в зависимости от условий;
в) всегда выполняется;
г) отрицает указанную подцель в теле правила.

4. 23 Выберите правильный вариант и нажмите кнопку «Ответить».

Активным элементом дерева является:
а) весё дерево;
б) хвост;
в) голова;
г) переменная отвечающая за дерево;
д) корень.

4. 24 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько зарезервированных слов содержится в определении дерева tree=der(tree, integer, tree); nil:
а) 0;
б) 1;
в) 2;
г) 3;
д) 4.

4. 25 Выберите правильный вариант и нажмите кнопку «Ответить».

Какую арность имеет структура дерева:
а) 0;
б) 1;
в) 2;
г) 3;
д) 4.

4. 26 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько зарезервированных слов содержится в определении дерева tree=der(tree, integer, tree); nil:
а) 0;
б) 1;
в) 2;
г) 3;
д) 4.

4. 27 Выберите правильный вариант и нажмите кнопку «Ответить».

Совокупность предложений с одним и тем же предикатов з заголовке называется:
а) базой данных;
б) базой знаний;
в) процедурой;
г) функцией;
д) совокупностью предложений.

4. 28 Выберите правильный вариант и нажмите кнопку «Ответить».

Символ «:-» в ПРОЛОГЕ означает:
а) «и»;
б) «или»;
в) «не»;
г) «если»;
д) «иначе».

4. 29 Укажите правильные варианты и нажмите кнопку «Ответить».

Имя предикатов должно начинаться со строчной буквы и содержать:
а) буквы; (35%)
б) цифры; (35%)
в) специальные символы;
г) подчеркивание; (30%)
д) пробелы.

4. 30 Выберите правильный вариант и нажмите кнопку «Ответить».

Если переменная была конкретизирована объектом:
а) можно изменить в начале предложения;
б) можно изменить в конце предложения;
в) нельзя изменить в данном предложении;
г) можно удалить из предложения;
«
4. 31 Выберите правильный вариант и нажмите кнопку «Ответить».

Исключением из области действия переменных является:
а) свободная переменная;
б) связанная переменная;
в) анонимная переменная;
г) конкретизированная переменная.

4. 32 Выберите правильный вариант и нажмите кнопку «Ответить».

Цель может быть согласована, если:
а) она содержит одну переменную;
б) она сопоставляется с заголовком правила;
в) она сопоставляется с другой целью;
г) она рекурсивна сама к себе.

4. 33 Выберите правильный вариант и нажмите кнопку «Ответить».

При попытке повторного согласования система возобновляет просмотр базы:
а) с первого предложения;
б) со следующего, которое обеспечило согласование;
в) с первого, у которого предикат совпадает с целевым;
г) с последнего предложения.

4. 34 Укажите правильные варианты и нажмите кнопку «Ответить».

Порядок предложений и целей в них влияет на:
а) расположение вопросов;
б) расположение ответов; (50%)
в) количество проверок выполняемых системой; (50%)
г) на объем программы;
д) количество ответов.

4. 35 Выберите правильный вариант и нажмите кнопку «Ответить».

Отсечение как подцель в теле правила:
а) всегда терпит неудачу;
б) терпит неудачу в зависимости от условий;
в) всегда выполняется;
г) выполняется в зависимости от условий;
д) отрицает указанную подцель в теле правила.

4. 36 Укажите правильные варианты и нажмите кнопку «Ответить».

Отсечение запрещает:
а) согласование целей стоящих справа от себя;
б) согласование целей стоящих слева от себя;
в) выполнение всего предложения;
г) отбрасывает все оставшиеся предложения процедуры; (50%)
д) повторного согласования целей стоящих слева. (50%)

4. 37 Укажите правильные варианты и нажмите кнопку «Ответить».

Для организации повторяющихся действий в ПРОЛОГЕ используются:
а) списки;
б) деревья;
в) рекурсия; (50%)
г) откат; (50%)
д) встроенные предикаты.

4. 38 Укажите правильные варианты и нажмите кнопку «Ответить».

Любая рекурсивная процедура должна включать в себя:
а) встроенные предикаты;
б) базис рекурсии; (50%)
в) условие рекурсии;
г) шаг рекурсии; (50%)
д) списки.

4. 39 Выберите правильный вариант и нажмите кнопку «Ответить».

Какой рекурсии следует избегать при написании программ на ПРОЛОГЕ:
а) хвостовой;
б) левосторонней;
в) правосторонней;
г) расположенной по центру;
д) всех рекурсий.

4. 40 Укажите правильные варианты и нажмите кнопку «Ответить».

Как правило программа на ПРОЛОГЕ, по меньшей мере содержит следующие разделы:
а) CONSTANTS;
б) DOMAINS;
в) DATABASE;
г) PREDICATES; (50%)
д) CLAUSES. (50%)

4. 41 Укажите правильные варианты и нажмите кнопку «Ответить».

Программа может содержать несколько разделов:
а) DOMAINS; (25%)
б) DATABASE; (25%)
в) PREDICATES; (25%)
г) CLAUSES; (25%)
д) GOAL.

4. 42 Выберите правильный вариант и нажмите кнопку «Ответить».

После какого слова при трассировке будет указано имя выполняемого предиката:
а) CALL;
б) REDO;
в) RETURN;
г) FAIL.

4. 43 Выберите правильный вариант и нажмите кнопку «Ответить».

После какого слова при трассировке будет указано имя цели, которая не была достигнута:
а) CALL;
б) REDO;
в) RETURN;
г) FAIL.

4. 44 Выберите правильный вариант и нажмите кнопку «Ответить».

После какого слова при трассировке происходит возврат и вычисление альтернативного решения:
а) CALL;
б) REDO;
в) RETURN;
г) FAIL.

4. 45 Выберите правильный вариант и нажмите кнопку «Ответить».

После какого слова при трассировке будет выведен результат вычисления текущей подцели, в случае успеха:
а) CALL;
б) REDO;
в) RETURN;
г) FAIL.

4. 46 Выберите правильный вариант и нажмите кнопку «Ответить».

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

4. 47 Укажите правильные варианты и нажмите кнопку «Ответить».

С каково символа начинается константа в разделе описания констант:
а) прописная буква; (50%)
б) строчная буква; (50%)
в) подчеркивание;
г) цифра;
д) специальный символ.

4. 48 Укажите правильные варианты и нажмите кнопку «Ответить».

Отличие предикатов описанных в DATABASE и PREDICATES:
а) их можно хранить на диске;
б) их можно удалять; (50%)
в) их можно добавлять; (50%)
г) их можно редактировать.

4. 49 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько описаний в разделе PREDICATES может иметь один предикат:
а) только одно;
б) одно или два;
в) только два;
г) несколько.

4. 50 Выберите правильный вариант и нажмите кнопку «Ответить».

Детерминированный предикат возвращает:
а) все решения;
б) решения выборочно;
в) одно решения;
г) не возвращает решений.

4. 51 Выберите правильный вариант и нажмите кнопку «Ответить».

Встроенные предикаты являются:
а) детерминированными;
б) недетерминированными;
в) связанными;
г) свободными;
д) независимыми.

4. 52 Выберите правильный вариант и нажмите кнопку «Ответить».

В каком разделе описываются пользовательские факты и правила:
а) DOMAINS;
б) DATABASE;
в) PREDICATES;
г) CLAUSES;
д) GOAL.

4. 53 Выберите правильный вариант и нажмите кнопку «Ответить».

Программа компилируемая в исполняемый файл обязательно должна содержать:
а) внешнюю цель;
б) внутреннюю цель;
в) раздел описания предложений;
г) раздел описания предикатов;
д) переменные.

4. 54 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько минимально необходимо базисов рекурсии при добавлении элемента к бинарному дереву:
а) 0;
б) 1;
в) 2;
г) 3;
д) 4.

4. 55 Выберите правильный вариант и нажмите кнопку «Ответить».

Сколько минимально необходимо базисов рекурсии при удалении любого элемента бинарного дерева:
а) 0;
б) 1;
в) 2;
г) 3;
д) 4.

4. 56 Выберите правильный вариант и нажмите кнопку «Ответить».

В каком разделе в конце строки ставится точка:
а) DOMAINS;
б) DATABASE;
в) PREDICATES;
г) CLAUSES;
д) GOAL.

4. 57 Укажите правильные варианты и нажмите кнопку «Ответить».

Терм может быть:
а) константой; (30%)
б) переменной; (40%)
в) списком;
г) деревом;
д) структурой. (30%)

4. 58 Выберите правильный вариант и нажмите кнопку «Ответить».

Что такое главный функтор. Это:
а) имя запроса к базе данных;
б) имя предиката стоящего до скобок в структуре;
в) имя главного предиката стоящего в скобках в структуре;
г) имя переменной;
д) имя константы.

4. 59 Выберите правильный вариант и нажмите кнопку «Ответить».

Переменные расположенные в фактах и головных целевых утверждениях связаны:
а) конъюнкцией;
б) дизъюнкцией;
в) квантором существования;
г) квантором всеобщности.

4. 60 Выберите правильный вариант и нажмите кнопку «Ответить».

Переменные расположенные только в хвостовых целевых утверждениях связаны:
а) конъюнкцией;
б) дизъюнкцией;
в) квантором существования;
г) квантором всеобщности.

4. 61 Выберите правильный вариант и нажмите кнопку «Ответить».

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

4. 62 Выберите правильный вариант и нажмите кнопку «Ответить».

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

4. 63 Выберите правильный вариант и нажмите кнопку «Ответить».

Каким символом обозначается встроенный предикат отсечение:
а) восклицательный знак «!»;
б) вопросительный знак «?»;
в) вертикальной чертой «|»;
г) процентом «%».

4. 64 Выберите правильный вариант и нажмите кнопку «Ответить».

Что делает встроенный предикат NOT:
а) отрицает предложение, в котором стоит в качестве подцели;
б) инвертирует свой единственный аргумент;
в) блокирует вычисление предложения, в котором находится;
г) блокирует вычисление своего аргумента.

4. 65 Укажите правильные варианты и нажмите кнопку «Ответить».

Каждый функтор определяется своим:
а) написанием;
б) именем; (50%)
в) арностью; (50%)
г) высотой;
д) сложностью.

4. 66 Выберите правильный вариант и нажмите кнопку «Ответить».

Тип объекта рассматривается исключительно по его:
а) семантической форме;
б) синтаксической форме;
в) декларативному смыслу;
г) процедурному смыслу.

4. 67 Укажите правильные варианты и нажмите кнопку «Ответить».

Какие символы обозначают комментарии в ПРОЛОГЕ:
а) */; (25%)
б) /*; (25%)
в) %; (50%)
г) #
д) ().

4. 68 Выберите правильный вариант и нажмите кнопку «Ответить».

Пролог производит поиск решений до:
а) первого найденного решения;
б) точки в конце предложения;
в) завершения работы программы;
г) завершения работы механизма возврата.

5 Определение отношений на основе фактов и правил

5.1 Укажите правильные варианты и нажмите кнопку «Ответить».

При условии, что определены отношения: родитель (Имя_родителя, Имя_ребенка), мужчина (Имя), женщина (Имя). Найдите правила результат выполнения запроса к которым, будет соответствовать отношению дед. Искомый объект стоит первым аргументом в заголовке:
а) дед(X, Y):-родитель(X, Z), родитель(Z, Y), мужчина(X).(30%)
б) дед(X, Y):-родитель(Z, Y), родитель(Z, X), мужчина(X).
в) дед(X, Y):-родитель(Z, Y), родитель(X, Z), мужчина(X).(40%)
г) дед(X, Y):-мужчина(X), родитель(X, Z), родитель(Z, Y).(30%)
д) дед(X, Y):-родитель(Y, Z), родитель(Z, X), мужчина(X).

5.2 Укажите правильные варианты и нажмите кнопку «Ответить».

При условии, что определены отношения: родитель (Имя_родителя, Имя_ребенка), мужчина (Имя), женщина (Имя). Найдите правила результат выполнения запроса к которым, будет соответствовать отношению прадед. Искомый объект стоит первым аргументом в заголовке:
а) прдед(X, Y):-родитель(E, Z), родитель(Z, Y), родитель(X, E), мужчина(X). (30%)
б) прдед(X, Y):-родитель(E, Z), родитель(X, E), мужчина(X), родитель(Z, Y). (30%)
в) прдед(X, Y):-родитель(Z, Y), родитель(Z ,E), родитель(X, E), мужчина(X).
г) прдед(X, Y):-родитель(Y ,Z), родитель(Z ,E), родитель(E ,X), мужчина(X).
д) прдед(X, Y):-родитель(Z, Y), родитель(E, Z), родитель(X, E), мужчина(X). (40%)

5.3 Укажите правильные варианты и нажмите кнопку «Ответить».

При условии, что определены отношения: родитель (Имя_родителя, Имя_ребенка), мужчина (Имя), женщина (Имя). Найдите правила результат выполнения запроса к которым, будет соответствовать отношению брат. Искомый объект стоит первым аргументом в заголовке:
а) брат(X, Y):-родитель(Z, Y), родитель(X, Z), мужчина(X).
б) брат(X, Y):-родитель(Z, Y), родитель(Z, X), мужчина(X). (40%)
в) брат(X, Y):-родитель(Z, Y), родитель(Z, X), мужчина(Y).
г) брат(X, Y):-родитель(Z, X), родитель(Z, Y), мужчина(X). (30%)
д) брат(X, Y):-мужчина(X), родитель(Z, X), родитель(Z, Y). (30%)

5.4 Укажите правильные варианты и нажмите кнопку «Ответить».

При условии, что определены отношения: родитель (Имя_родителя, Имя_ребенка), мужчина (Имя), женщина (Имя). Найдите правила результат выполнения запроса к которым, будет соответствовать отношению тетя. Искомый объект стоит первым аргументом в заголовке:
а) тетя(Y, Z):-родитель(H, X), родитель(X, Z), родитель(H, Y), X<>Y, женский(Y). (30%)
б) тетя(Y, Z):-женский(Y), родитель(X, Z), родитель(H, X), родитель(H, Y), X<>Y. (30%)
в) тетя(Y, Z):-родитель(X, Z), родитель(H, X), родитель(Y, H), женский(Y).
г) тетя(Y, Z):-родитель(Z, X), родитель(H, X), родитель(H, Y), X<>Y, женский(Y).
д) тетя(Y, Z):-родитель(X, Z), родитель(H, X), родитель(H, Y), X<>Y, женский(Y). (40%)

5.5 Ук