我很难找到关于如何使用core.logic等逻辑编程方法为要查询的事实建立（演绎）数据库的策略的深刻信息。要找到的大多数示例都涉及在内存中创建的事实。
卡斯卡卢格是一个非常好的图书馆。它位于hadoop之上，并以datalog为灵感，用一种漂亮直观的查询语言抽象出map reduce。
但是Cascalog只是hadoop，我想知道是否有类似的clojure解决方案可以很好地与其他类型的数据库配合使用，无论是nosql还是关系数据库（演绎数据库）。
这篇博客文章展示了如何编写从数据源查询的关系：
http://tsdh.wordpress.com/2012/01/06/using-clojures-core-logic-with-custom-data-structures/
利用那里的想法，我能够从MongoDB和Redis中编写要查询的关系。