core.logicのようなロジック プログラミング アプローチを使用してファクトをクエリするための (演繹的な) データベースをセットアップするための戦略に関する深い情報を見つけるのに苦労しています。発見されるほとんどの例は、記憶の中で作成された事実を扱っています。
そこにある本当に素晴らしいライブラリはCascalogです。これは Hadoop の上にあり、データログに触発された素晴らしく直感的なクエリ言語で map-reduce を抽象化します。
しかし、Cascalog は Hadoop のみであり、nosql やリレーショナル (演繹データベース) など、他のタイプのデータベースとうまくいく同様の clojure ソリューションがあるかどうか疑問に思います。