Hi Jeffrey, On Feb 1, 4:50 am, Jeffrey Straszheim <straszheimjeff...@gmail.com> wrote: > However, I'm not sure if you can built your own predicates in Java > code (and therefore in Clojure code). That seems like a feature we'd > want. I've sent an email to their support folks to find out if this > is possible.
I gave it a crack. It is definitely possible (perhaps even easy if you are familiar with the nomenclature). Setting up the primitive support is trivial, but combining the parts sent me into a spin - enter a DSL which seems the logical aim (is this indeed the intention?)... http://github.com/timothypratley/strive/blob/80a3e41af4c8d882c0330ff1ae42bc7916c5cbf9/src/clj/iris.clj Here is where I got to so far... does the cheats method (parse) to demonstrate simple facts/rules/query, then exposes the underlying primitives that could be used to build the same expression without parsing. Then I got somewhat lost and figured I'd call it a night :) I couldn't find much info (any?) at all on the web about Datalog or how to use IRIS in general... it certainly seems interesting as a solver, but in practical terms how can I take advantage of it? Ok I can think of some classic solver type problems (which are indeed practical), but I get the impression Datalog is slated for greater things, ie: general data modeling? Regards, Tim --~--~---------~--~----~------------~-------~--~----~ 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 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 -~----------~----~----~----~------~----~------~--~---
