Логическое программирование в Scala. Теория
Здесь мы разберём ∙ элементы математической логики, связывающие её с языками программирования; ∙ ключевой аспект логического программирования — автоматизация вывода искомого результата (конструктивного доказательства); ∙ базовые принципы языка Пролог; ∙ связь теории типов с математической логикой; ∙ связь механизмов «неявности» в разных языках с логическим программированием. Читать далее