Без заголовка

>Логическое не взлетает, на SQL делают только запросы в базу данных, а не программируют -- вот я и интересуюсь, что ещё на свете существует для представления знаний. Не знаю, обсуждали ли уже такую штуку, как Datafun. Это попытка совместить реляционную алгебру с логикой и ФП. Тут занятное интервью с автором: https://futureofcoding.org/episodes/040 (там же они обсуждают связь FOL, SOL (second order logic) с системами типов, но глубоко не продвигаются из-за нехватки знаний у обоих) http://www.rntz.net/datafun/ Реализации пока лишь игрушечные, как я понимаю, но планы выйти на использование мощных ДБ движков, которые будут под капотом логическо-функциональной программы.