Язык программирования Пролог

1. В языке Пролог факт — это:

1) неопровержимое доказательство;

2) истинное происшествие;

3) предикат с аргументами-константами;

4) правило, которое выполняется всегда.

2. В языке Пролог правило — это:

1) хорновские фразы с заголовком и одной или несколькими подцелями;

2) предикаты, носящие приказывающий характер;

3) факты, в которых содержится условие;

4) алгоритм действия.

3. Вопрос — это:

1) отправная точка логического ввода, происходящего при выполнении про­граммы;

2) отправная точка логического вывода, происходящего при выполнении программы;

3) отправная точка логического вывода свободных переменных;

4) запрос программы на сопоставление переменных.

4. Имя — это:

1) последовательность букв и цифр, начинающаяся со строчной буквы;

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

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

4) объединение элементов произвольных видов, разделенных запятыми и заключенных в квадратные скобки.

5. Переменная — это:

1) последовательность букв и цифр, начинающаяся со строчной буквы;

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

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

4) объединение элементов произвольных видов, разделенных запятыми и заключенных в квадратные скобки.

6. Вопрос называется общим, если:

1) все переменные, которые он содержит, — свободные;

2) хотя бы одна переменная, которую он содержит, — свободная;

3) он не содержит переменных;

4) все переменные, которые он содержит, — связанные.

7. Вопрос называется частным, если:

1) все переменные, которые он содержит, — свободные;

2) хотя бы одна переменная, которую он содержит, — свободная;

3) он содержит переменные;

4) все переменные, которые он содержит, — связанные.

8. Структура — это:

1) объединение элементов произвольных видов, разделенных запятыми и заключенных в квадратные скобки;

2) конструкция, состоящая из имени структуры и ее свойств, разделенных запятыми;

3) последовательности букв и цифр, начинающиеся со строчной буквы;

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

9. Список — это:

1) объединение элементов произвольных видов, разделенных запятыми и заключенных в квадратные скобки;

2) конструкция, состоящая из имени структуры и ее свойств, разделенных запятыми;

3) последовательности букв и цифр, начинающиеся со строчной буквы;

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

10. Программа на Прологе является:

1) алгоритмом действия операторов на переменные;

2) записью условия задачи на языке формальной логики;

3) процедурным описанием алгоритма;

4) функциональным описанием алгоритма.

11. Чем в языке Пролог заканчивается строка программы?

1): 2): - 3); 4).

12. Какая операция в языке Пролог является основной?

1) присваивание; 2) сопоставление;

3) отсекание; 4) редуцирование.

13. Как в языке Пролог выглядит запрос?

1)?; 2) /Не1р; 3) гаргоз; 4) зау.

14. В языке Пролог выход из рекурсии обеспечивается:

1) На1" Ь; 2) Вгеак; 3) 5*: ор; 4)! (отсечение).

15. В языке Пролог списком будет:

1) [голова | хвост]; 2) р^Апех-Ь; 3) зе" Ь о!: л_-Ьет; 4) ггау.

16. Что в языке Пролог будет являться именем:

1) Ыаше; 2) паше; 3) $паше; 4) #паше.

17. Что в языке Пролог будет являться переменной:

1) Ыаше; 2) паше; 3) $паше; 4) #паше.

18. Переменная, используемая в качестве аргумента предиката, когда конкретное значение переменной несущественно, — это переменная:

1) свободная; 2) связанная; 3) анонимная; 4) декларативная.

19. Переменная, которая еще не получила конкретного значения в результате со­поставления с константами в фактах, — это:

1) свободная; 2) связанная; 3) анонимная; 4) декларативная.

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

1) свободной; 2) связанной; 3) анонимной; 4) декларативной.

21. Переменные служат:

1) хранилищем информации; 2) частью процесса сопоставления;

3) отправной точкой логического вывода; 4) заменой констант.

22. Стратегия согласования «замкнутый мир» — это когда:

1) поиск подходящих для согласования фактов и правил в базе знаний про­исходит последовательно сверху вниз, и если подходящих фактов не най­дено, — ответ отрицательный;

2) поиск подходящих для согласования фактов и правил в базе знаний про­исходит последовательно снизу вверх, и если подходящих фактов не най­дено, — ответ отрицательный;

3) поиск подходящих для согласования фактов и правил в базе знаний про­исходит последовательно сверху вниз, и если подходящих фактов не най­дено, — ответ положительный;

4) поиск подходящих для согласования фактов и правил в базе знаний про­исходит последовательно снизу вверх, и если подходящих фактов не най­дено, — ответ положительный.

23. Декларативный подход к программе — это когда:

1) последовательность сопоставлений, конкретизаций переменных и резо­лютивных выводов происходит при ее выполнении;

2) описанные отношения объектов некоторой предметной области и связи рассматриваются статически;

3) описанные отношения объектов некоторой предметной области и связи рассматриваются динамически;

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

24. Процедурный подход к программе — это когда:

1) последовательность сопоставлений, конкретизаций переменных и резо­лютивных выводов происходит при ее выполнении;

2) описанные отношения объектов некоторой предметной области и связи рассматриваются статически;

3) описанные отношения объектов некоторой предметной области и связи рассматриваются динамически;

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

25. Каков будет результат выполнения программы: шисЬ ([], 0).

шисЬ ([А|В], Ы): - шисЬ (В, М), N 15 М+1.? - гписЬ ([саша, игорь, лена]), X). 1) Х= 3; 2) Х= лена; 3) Х= саша; 4) Х= игорь.

26. Каков будет результат выполнения программы:

_РГ1П (X, [Х|У]).

рг! п (X, [А|У]): - рг1п (Х, У).

? _рг1п (4, [1, 3, 4, 9]).

1) Уез; 2) N0; 3) Тгие; 4) Ра1зе.

27. Каков будет результат выполнения программы:

рг13 ([], Р, Р).

рг! з ([Х|У], Р, [X|Т]): - рг1з (У, Р, Т).

? рг13 (Ъ, [джим..К], [джек, бил, джим, тим, джим, боб]).

1) Ъ=[джек, бил]. К=[тим, джим, боб]. Ъ=[джек, бил, джим, тим]. К=[боб].

2) К=[джек, бил]. Ъ=[тим, джим, боб]. К=[джек, бил, джим, тим]. Ъ=[боб].

3) Ъ=[джек, тим]. К=[ джек, тим, джим, боб]. Ъ=[джек, тим]. К=[джим].

4) Ъ=[джек]. К=[боб]. Ъ=[джек, бил, джим, тим]. К=[джек, боб].

28. Каков будет результат выполнения программы: шах([X], Х).

шах([Х|У], Х): - шах(У, ДО), Х> ДО,!. шах ([X|У], ДО): - шах(У, ДО).? шах([1, 7, б, 4, 3], М)

1) М= 1; 2) М= 7; 3) М= 3; 4) М= 6.

29. Предикат вычисления факториала натурального числа п выглядит:

1) ^ак1: ог1а1 (1, 1) - ^ак1: ог1а1 (КГ, X): - ^ак1: ог1а1 (N-1, У), X 15 У*Ы;

2) ^ак1: ог1а1 (1, 1).. ^ак1: ог1а1 (1Я, Х) ^ак" Ьог1а1 (И, У), У 1з Х*Ы;

3) ^акЪог1а1 (0, 1). ^ак1: ог1а1 (КГ, X): - ^ак1: ог1а1 (КГ, X), X 13 КГ*(КГ-1);

4) ^ак!: ог1а1 (0, 1). ^ак" Ьог1а1 (КГ, У): - ^ак1: ог1а1 (N-1, X), X 15

30. Каков будет результат выполнения программы: с1аизез

Мап (" Агамемнон"). Мап (" Аид"). Мап (" Атлант"). Мап (" Гелиос"). ДОогпап (" Автоноя"). ДОогпап (" Агава").

ДОогпап (" Антигона"). ДОогпап (" Афродита"). ДОогпап (" Галатея"). РагепЪ (" Агамемнон", " Аид"). Рагеп1: (" Автоноя", " Аид"). Рагеп1: (" Гелиос", " Атлант"). РагепЪ (" Галатея", " Атлант"). Рагеп^Ь (" Атлант", " Афродита"). Рагеп^Ь (" Антигона", " Афродита"). Мо^Ьег (Х, У): -Рагеп" Ь (Х, У), ДОогпап (X). Ра^Ьег (X, У): -Рагеп1: (X, У), Мап (X). БаидЬ^ег (X, У): -РагепЪ (X, У), ДОогпап (У). Зип (X, У): -Рагеп1: (X, У), Мап (У).

Ргес1ок(Х, У): -рагепЪ (X, У).

Ргес1ок (X, У): -РагепЪ (У), Ргес1ок (X, 2).

? Ра1: Ъег (" Гелиос", " Аид").

1) Уез; 2) N0; 3) Гелиос; 4) Аид.

31. Каков будет результат выполнения программы:

с1аизез

Мап (" Агамемнон"). Мап (" Аид"). Мап (" Атлант"). Мап (" Гелиос"). ДОотап (" Автоноя"). ДОотап (" Агава").

ДОотап (" Антигона"). ДОотап (" Афродита"), ДОотап (" Галатея").

РагепЪ (" Агамемнон", " Аид "). РагепЪ (" Автоноя", " Аид").

РагепЪ (" Гелиос", " Атлант"). РагепЪ (" Галатея", " Атлант").

РагепЪ (" Атлант", " Афродита"). РагепЪ (" Антигона", " Афродита").

Мо-ЬЪег (X, У): -РагепЪ (X, У), Юотап (X).

РаЪЪег(Х, У): -РагепЪ(Х, У), Мап(X).

ЭаидЬ1: ег (X, У): -РагепЪ (X, У), Юотап (У).

5ип(X, У): -РагепЪ(X, У), Мап(У).

Ргес1ок(Х, У): -рагепЪ (X, У).

Ргес1ок (X, У): -РагепЪ (2, У), Ргес1ок (X, 2).

? Мо1: Ъег (X, " Афродита")

1) Х=Антигона; 2) Х=Атлант; 3) Х=Гелиос; 4) Х=Галатея.

32. Каков будет результат выполнения программы:

с1аизез

Мап (" Агамемнон"). Мап (" Аид"). Мап (" Атлант"). Мап (" Гелиос"). ДОотап (" Автоноя"). ДОотап (" Агава").

ДОотап (" Антигона"). ДОотап (" Афродита"), ДОотап (" Галатея").

РагепЪ (" Агамемнон ", " Аид"). РагепЪ (" Автоноя", " Аид").

РагепЪ (" Гелиос", " Атлант"). РагепЪ (" Галатея", " Атлант").

РагепЪ (" Атлант", " Афродита"). РагепЪ (" Антигона", " Афродита").

Мо-ЬЬег (Х, У): -РагепЪ (X, У), Юотап(Х).

Ра1: Ьег (X, У): -РагепЪ (X, У), Мап(Х).

ЭаидЬ-Ьег (X, У): -РагепЪ (X, У), Юотап(У).

5ип(X, У): -РагепЪ(X, У), Мап(У).

Ргес1ок(Х, У): -рагепЪ (X, У).

Ргес1ок (X, У): -РагепЪ (2, У), Ргес1ок (X, 2).

? 5ип(" Гелиос", X).

1) Х=Атлант; 2) Х=Галатея; 3) Х=Афродита; 4) Х=Аид.

33. Каков будет результат выполнения программы:

с1аизез

Мап (" Агамемнон"). Мап (" Аид"). Мап (" Атлант"). Мап (" Гелиос"). ДОотап (" Автоноя"). ДОотап (" Агава").

ДОотап (" Антигона"). ДОотап (" Афродита"), ДОотап (" Галатея"). РагепЪ (" Агамемнон ", " Аид"). РагепЪ (" Автоноя", " Аид"). РагепЪ (" Гелиос ", " Атлант"). РагепЪ (" Галатея", " Атлант"). РагепЪ (" Атлант ", " Афродита"). РагепЪ (" Антигона", " Афродита"). Мо-ЬЬег (X, У): -РагепЪ (X, У), Юотап (X).

ТаЪЪег(X, У): -Рагеп*: (X, У), Мап(X).

БаидЬ" Ьег (X, У): -РагепЪ (X, У), ДОогпап (У).

Зип (Х, У): -Рагеп" Ь (Х, У), Мап (У).

Ргес1ок (X, У): -рагеп*: (X, У).

Ргес1ок(Х, У): -РагепЪ (2, У), Ргес1ок (X,.2).

? Ргес1ок(Х, " Афродита").

1) Х=Гелиос;

2) Х=Галатея;

3) 2 зо1и-Ыоп Х=Гелиос Х=Галатея;

4) 4 зо1и" Ыоп Х=Гелиос Х=Галатея Х=Атлант Х=Антигона.