1. Логическая программа: основные конструкции, терм, составной терм, функтор, арность, подстановка, пример, общий пример.
2. Логическая программа: правила, факты, следствие, вопрос, вычисление, значение, корректность и полнота.
3. Программирование баз данных
4. Структурированные и абстрактные данные
5. Соответствие логических программ и реляционных баз данных: объединение, симметрическая разность, декартово произведение, проекция, выборка.
6. Рекурсивное программирование: целые числа, списки
7. Построение рекурсивных программ
8. Бинарные деревья

9. Унификация, алгоритм унификации
10. Абстрактный интерпретатор логических программ
11. Семантика логических программ: операционная, декларативная, денотационная
12. Анализ структуры термов: типовые предикаты
13. Анализ структуры термов: составные термы
14. Типовые металогические предикаты; сравнение неосновных термов
15. Использование переменных в качестве объектов
16. Обобщенная структура программ на Турбо – Прологе, содержание и значение секций. Использование анонимных переменных. Основные стандартные типы доменов.
17. Стандартные предикаты для записи в Турбо – Прологе, базовые и специализированные предикаты для чтения. Использование предикатов fail, not, cut.
18. Внелогические предикаты: предикаты ввода – вывода
19. Внелогические предикаты: доступ к программам и обработка программ
20. Недетерминированное программирование: метод «образовать и проверить», недетерминизм с произвольным выбором альтернативы и недетерминизм с неизвестным выбором альтернативы.
21. Неполные структуры данных: разностные списки
22. Неполные структуры данных: справочники
23. Программирование второго порядка: множественные выражения
24. Принцип построения и структура экспертных систем
25. Представление знаний в экспертных системах, методы вывода
26. Система пользовательского интерфейса экспертных систем, экспертные системы, базирующиеся на правилах
27. Свойства функциональных языков: краткость и простота, строгая типизация, модульность
28. Свойства функциональных языков: значимость функции, чистота (отсутствие побочных эффектов), отложенные вычисления
29. Базисные операции, аксиомы, определения множеств A, Sexpr(A), List(A), List_str(A) и связь между ними
30. Программная реализация списков и структур
31. Типы в функциональном программировании, определение образца и клоза
32. Понятие аккумулятора, принципы построения определений с накапливающим параметром
33. Определение декартова произведения и размеченного объединения
34. Виды областей определения для доказательства свойств функций: линейно упорядоченное множество
35. Виды областей определения для доказательства свойств функций: индуктивный класс
36. Примеры доказательства свойств функций