В силу специфики, как самого Пролога, так и преподавания у МИППС, то скорее практические лекции

• Введение в функционально-логическое программирование
• История языка программирования Пролог
• Основные нотации языка Пролог
• Задача о родословной (вводная)
• Рекурсии на языке Пролог

Краткое введение в функционльано-логическое программирование

История языка программирования Пролог

Основные реализации Пролога

Обычно используется т.н. Эдингбургский синтаксис (DEC-10). Далее см. Пролог интерпретаторы >>