В рамках серии вебинаров предполагается рассмотрение основ математической логики и исчисления предикатов первого порядка, применение метода резолюции для доказательства теорем, реализация этого принципа в рамках логической парадигмы обработки информации на примере языка Пролог.

Предполагается рассмотреть возможности языка Пролог в сфере образования, на примере кроссплатформенной версии языка Пролог-Д (ПРОграммирование в ЛОГике для Детей). Рассмотрены возможные типы задач, для решения ко