Шпаргалка з курсу Програмування – 67 питань

1. Загальний огляд мови Пролог

2. Переваги і недоліки мови Пролог

3. Числення предикатів - математична основа мови Пролог

4. Побудова теорії деякої області знань

5. Від формальної логіки до логічного програмування

6. Механізм логічного виведення і керування пошуком в Пролог

7. Факти та правила Прологу

8. Як змінні отримують свої значення в Пролог

9. Анонімні змінні в Пролог

10. Складні цілі: кон’юнкція та диз’юнкція в Пролог

11. Способи співставлення в Пролог

12. Основні розділи програми PDC Пролог

13 Стандартні домени в Пролозі

14. Синтаксис правила Пролог

15. Директиви в Пролог

16. Бектрекінг в Пролог

17. Бектрекінг з внутрішньою метою в Пролог

18. Використання предиката fail в Пролог

19. Відміна бектрекінгу в Пролог

20. ПРЕДИКАТ NOT - заперечення як неуспіх

21. Труднощі у використанні відтинання і заперечення в Пролог

22. Засоби керування в Пролог

23. Прості дані в Пролог

24. Складні об’єкти даних і функтори в Пролозі

25. Уніфікація складних об’єктів Пролог

26. Приклад застосування функторів Пролог

27. Приклад використання складних об'єктів

28. Опис доменів складних об'єктів

29. Багаторівневі складні об'єкти

30. Граматичний розбір речення в Пролог

31. Опис змішаних складних об'єктів

32. Аргументи, які можуть мати різний тип

33. Тип списку в Пролог

34. Порівняння складних об`єктів в Пролог

35. Реалізація ітераційного процесу за допомогою бектрекінгу

36. Дії типу до і після в Пролог

37. Застосування бектрекінгу для реалізації циклів

38. Рекурсивна реалізація в Пролог

39. Використання аргументів в як параметрів циклу

40.Структура даних типу дерева в Пролог

41. Обходи дерева в Пролог

42. Створення дерева в Пролог

43. Бінарний пошук на дереві

44. Сортування по дереву

45. Лексикографічне впорядкування в Пролог

46. Робота із списками в Пролог

47. Рекурсивна сутність списку

48. Обробка списків в Пролог

50. Підрахунок кількості елементів в Пролог

51. Іще один варіант підрахунку довжини списку в Пролог

52. Модифікація списку в Пролог

53. Належність елемента списку

54. Використання одного й того ж предикату для розв’язання різних задач в Пролог

55. Знаходження зразу всіх розв`язків в Пролог

56. Складні списки в Пролог

57. Задача синтаксичного аналізу

58. Принципи побудови експертної системи в Пролог

59. Макетування: задача маршрутизації

60. Пригоди в дивних печерах в Пролозі

61. Моделювання апаратних засобів в Пролог

62. Задача про ханойські вежі в Пролог

64. Задача про N королев в Пролог

65. Потоковий аналіз в Пролог

66. Керування потоковим аналізом

67. Стиль програмування в Пролог

1. И. Братко. Программирование на языке Пролог для искусственного интеллекта. Москва, Мир, 1990.

2. Дж. Малпас. Реляционный язык Пролог и его применение. Москва, Мир, 1990.

3. Patrice Boizumault. The implementation of Prolog. Priceton University Press. Priceton. New Jersey. 1993.