Логическо и функционално програмиране. Езикът Пролог.
Теоретични основи на езика Пролог. Основни понятия от предикатното смятане от първи ред. Клаузна форма. Метод на резолюцията. Пример. Унифициращ алгоритъм...
Логическо и функционално програмиране. Езикът Пролог.