Логічне програмування
Мова Пролог. Структура програми на Пролозі, засоби представлення знань, поняття рекурсії, циклу, бектрекінгу. Представлення баз даних у Пролозі, довга арифметика, алгоритми на графах, синтаксичні перетворювачі, математичні ігри.