Логическое программирование и его использование при обучении студентов-математиков

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