Арены, где доминирует core.logic [soft]

Community Wiki

Меня не волнуют очки репутации, мне просто нужны хорошие ответы. Не стесняйтесь отметить этот вопрос как вики сообщества.

Контекст

Я работал с The Reasoned Schemer и обнаружил следующие наблюдения:

• Логическое программирование очень интересно.
• Логическое программирование иногда противоречит здравому смыслу.

• Логическое программирование часто бывает «неэффективным» (или, по крайней мере, код, который я пишу).

  Кажется, что при переходе от

• Assembly -> C++ я «отдаю» контроль над написанием собственного машинного кода
• C++ -> Clojure, я отказываюсь от контроля над управлением памятью
• Clojure -> core.logic/prolog/minikanren, я частично теряю контроль над выполнением вычислений

Вопрос:

Помимо (1) решения логических головоломок и (2) вывода типов, в каких областях доминирует логическое программирование?

Спасибо!