1. Основи на логическото програмиране. Съждително смятане. Предикатно смятане от първи ред.
2. Метод на резолюцията. Унификация на атомарни формули и терми.
3. Езици за логическо програмиране. Пролог. Особености. Клаузи на Хорн.
4. Клаузи. Факти. Конюнкция. Дизюнкция. Отрицание. Правила. Правила с дизюнкции. Цели. Структури. Клаузи със структури.
5. Механизъм на възврат. Същност. Приложение.
6. Рекурсия. Лява и дясна рекурсия.
7. Основни вградени предикати. Синтаксис и семантика.
8. Списъци. Основни задачи със списъци.
9. Работа с бази от данни . Експертни системи.
10. Приложения. Двоично дърво. Граф.
11. Особености на езиците за функционално програмиране. Видове езици за функционално програмиране Лисп. Механизъм на оценяване.
12. Примитивни обекти. Атоми. Списъци.
13. Средства за комбиниране. Комбинации.
14. Средства за абстракция. Дефиниране на функции. Оценяване на функции. Апликативен модел. Нормален модел на заместване. Вложени дефиниции. Блокова структура.
15. Примитивни функции. Условни изрази. Примитивни предикати. Предикатни функции. Идентичност на обекти. Разрушаващи функции.
16. Рекурсия и итерация. Линейна рекурсия. Линейна итерация. Дървовидна рекурсия.
17. Точкови двойки и списъци. Конструиране. Достъп до съставните частите. Основни задачи със списъци.
18. Ламбда изрази. Анонимни функции. Локални променливи.
19. Функции от по-висок ред. Функции като параметри. Функции като връщани стойности. Примери за намиране на суми, произведения на числа, работа със списъци и др.
20. Представяне на съставни структури от данни. Рационално число. Двоично дърво. Опашка.

II. Упражнения

1. Метод на резолюцията.
2. Клаузи
3. Рекурсия в Пролог
4. Списъци в Пролог
5. Работа с бази от данни
6. Механизъм на оценяване на примитивни обекти. Комбинации.
7. Средства за абстракция. Примитивни функции.
8. Рекурсия и итерация в Лисп.
9. Точкови двойки и списъци в Лисп.
10. Ламбда изрази.
11. Функции от по-висок ред.