Вопросы для самоконтроля:

1. Виды представления знаний.

2. Прямая цепочка рассуждений. Пример вывода.

3. Анонимные переменные. Примеры.

4. Что такое рекурсивные объекты? Примеры.

5. Ввести с клавиатуры числа a и n. Составить программу, с помощью рекурсии вычисляющую aⁿ.

6. Известны отношения РОДИТЕЛЬ(X,Y) и МУЖЧИНА(Х). Определить на их основе отношение СЕСТРА (объект Х является сестрой Y).

7. Что такое список в понимании ПРОЛОГА?

8. Определить отношение сцепления двух списков (конкатенации).

9. Определить отношение удаления элемента из списка.

10. ПЕРЕВЕСТИ НА ПРОЛОГ: КАЖДЫЙ ПРОЧИТАЛ РОМАН ЛЬВА ТОЛСТОГО «АННА КАРЕНИНА» с использованием многоуровневых объектов.

11. Обратная цепочка рассуждений.

12. Структура PROLOG-программы.

13. Ввести с клавиатуры n. Составить программу, с помощью рекурсии вычисляющую n!

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

15. Что такое back-tracking? Примеры.

16. Типы переменных в ТР.

17. Определить отношение принадлежности элемента списку

18. Перевести на язык ПРОЛОГ:

19. ПРЕПОДАВАТЕЛЬ ВУЗА ДОЛЖЕН ЗАКОНЧИТЬ АСПИРАНТУРУ.

20. ЕСЛИ ЧЕЛОВЕК ЗАКОНЧИЛ АСПИРАНТУРУ, ТО ОН ПРЕПОДАВАТЕЛЬ ВУЗА.

21. В чем отличие процедурной и декларативной семантики ПРОЛОГА?

22. СОСТАВИТЬ ПРОГРАММУ, определяющую принадлежит ли введенное число Х заданному диапазону.

23. Обратная цепочка рассуждений.

24. Структура PROLOG-программы.

25. Ввести с клавиатуры n. Составить программу, с помощью рекурсии вычисляющую n!

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

27. Что такое back-tracking? Примеры.

28. Типы переменных в ТР.

29. Определить отношение принадлежности элемента списку

30. Перевести на язык ПРОЛОГ:

31. ПРЕПОДАВАТЕЛЬ ВУЗА ДОЛЖЕН ЗАКОНЧИТЬ АСПИРАНТУРУ.

32. ЕСЛИ ЧЕЛОВЕК ЗАКОНЧИЛ АСПИРАНТУРУ, ТО ОН ПРЕПОДАВАТЕЛЬ ВУЗА.

33. В чем отличие процедурной и декларативной семантики ПРОЛОГА?

34. СОСТАВИТЬ ПРОГРАММУ, определяющую принадлежит ли введенное число Х заданному диапазону.

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

Методические указания к выполнению лабораторных работ по дисциплине "Функциональное программирование" предназначены для студентов третьего курса специальности 220400. Данные методические указания содержат:

• перечень теоретических вопросов, которые должны быть разъяснены преподавателем ведущим лабораторные занятия;

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

• практические задания для самостоятельной работы.

Лабораторные работы №№ 3, 4, 5 не содержат теоретического материала и выполняются студентами самостоятельно на основании лекционного курса по дисциплине "Функциональное программирование", с последующим отчетом преподавателю ведущему лабораторные занятия.

При выполнении лабораторных работ №№ 1, 3 студентами все перечисленные задания для самостоятельной работы. Варианты практических заданий для самостоятельного выполнения в лабораторных работах №№ 2, 4, 5 указывает преподаватель.

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