Логическое программирование и Clojure

Самые горячие конференции этого года уже успели доказать возвращение интереса к теме давно забытой в индустрии: логическому программированию. Локомотивом возрождающегося интереса служит core.logic — реализация декларативного языка miniKanren на Clojure.

В докладе рассматривается краткое введение в логическое программирование, описание miniKanren и core.logic, описание constraned logic programming и его расширений.

Инфопартнеры

  • Сообщество разработчиков мобильных приложений Apps4All