Sounds interesting. I can't offer much guidance on how to build such a system but I'm certainly interested in improvements to core.logic's interface to make implementing such things simpler.
What exactly do you expect core.logic to do in this case? David On Wed, Nov 23, 2011 at 5:52 PM, Mark <markaddle...@gmail.com> wrote: > I'd like to incorporate a relational database as a source of facts into > the core.logic fact system. Several years ago, I worked with a Java > backwards reasoning system called Mandarax ( > http://mandarax.sourceforge.net/) which defined an interface between the > logic engine and a fact store. The various implementations would take the > constraints supplied by the engine, translate them to datastore-specific > query and return a set of facts that matched (see > org.mandarax.kernel.KnowledgeOwner and ClauseSet). I'd really like > something like that for core.logic. > > I can't figure out where to plug into. If someone can point me to the > particular protocol(s) to implement, I think I can map the constraints into > SQL, > > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
