Схема на раздела
-
Добре дошли в курса по ЛП - упражнения. Тук ще намерите задачите, решавани на упражнения, полезни връзки към лекции и сайтове, свързани с Пролог и съобщения, свързани с курса.
-
Запознаване с ПРОЛОГ. Правила и факти.
-
Задаване на въпроси. Прости програмки за аритметика. Дървета на извод.
-
Списъци в ПРОЛОГ
-
Задачи за списъци. Аритметика в ПРОЛОГ
-
Генератори и разпознаватели - задачи за списъци и аритметика
-
Други възможности на ПРОЛОГ
-
Задачи за списъци и аритметика - подготовка за І контролно.
-
Предикатно смятане от първи ред - термове, формули, език, структури, оценки, вярност, тавтологии.
-
Субституции. Унификатори. Алгоритъм за намиране на най-общ унификатор чрез решаване на системи от термове.
-
Великден
-
Скулемизация. Преобразуване на логически формули в програми на ПРОЛОГ
-
Преобразуване на логически формули до множества от дизюнкти. Метод на общата резолюция.
-
Св. Св. Кирил и Методий
-
Метод на общата резолюция. Колапс на дизюнкти.