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