Мне трудно найти исчерпывающую информацию о стратегиях создания (дедуктивной) базы данных для запросов фактов с использованием подхода логического программирования, такого как core.logic. Большинство примеров, которые можно найти, имеют дело с фактами, созданными в памяти.
Действительно хорошая библиотека — Cascalog. Он находится поверх Hadoop и абстрагирует map-reduce с помощью приятного и интуитивно понятного языка запросов, вдохновленного журналом данных.
Но Cascalog — это только Hadoop, и мне интересно, есть ли аналогичные решения clojure, которые хорошо сочетаются с другими типами баз данных, будь то nosql или реляционные (дедуктивные базы данных).