Рассмотрены вопросы логического программирования при помощи Turbo-Prolog 2.0.

Содержат сведения о структуре дисциплины, ее содержании, а также рекомендации по изучению дисциплины.

Актуальность темы исследования. Проблема выполнимости в таких формах, как задача максимальной выполнимости (MAX-SAT), остается сложной задачей. Наиболее успешные подходы к решению таких задач используют форму систематического поиска по дереву.