RU

Логическое программирование в Scala. Теория

Здесь мы разберём ∙ элементы математической логики , связывающие её с языками программирования; ∙ ключевой аспект логического программирования — авт…

логическое программированиематематическая логикасеквенциальная логикапрологтеория типов
Habr
RU

Логическое программирование в Scala. Выбор стиля

Это первая часть небольшого цикла, посвящённого логическому программированию на языке Scala. Здесь мы сравним несколько стилей кодирования модельной…

логическое программированиестиль кодированиястиль программирования