Лекция 2

2.Математические основы логического программирования.
2а. Основные понятия логики предикатов 1-го порядка.
- предикат,
- терм,
- ППФ,
- интерпритация ППФ,
- модель ППФ,
- теория, следствие из теории.
2б. Фразовая форма. Фразы Хорна. Правило, факт, цель.
3. Автоматизация процедуры логического вывод.
3а Процедура опровержения.
4 Метод резолюций Робинсона. Резольвента. Пустая фраза.