https://github.com/swannodette/match/wiki/Crazy-Ideas <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fswannodette%2Fmatch%2Fwiki%2FCrazy-Ideas&sa=D&sntz=1&usg=AFQjCNEXPd6rtfgrvqXsfNgHMPGx0Wjw7A> is 404, as well as https://github.com/swannodette/match <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fswannodette%2Fmatch%2Fwiki%2FCrazy-Ideas&sa=D&sntz=1&usg=AFQjCNEXPd6rtfgrvqXsfNgHMPGx0Wjw7A>
On Thursday, April 14, 2011 at 5:25:48 PM UTC+2, David Nolen wrote: > > When things begin to get recursive you may be on the right track :D > > Initially I was going to implement Nominal Logic Programming for Logos a > la William Byrd's dissertation, but I realized that his implementation > requires pattern matching. All the pattern matching libs I've seen thus far > for Clojure are too naive and too slow. Even more importantly pattern > matching is subsumed by predicate dispatch (CiteSeerX — Efficient > Predicate Dispatching > <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.4553>). > > Rich Hickey mentioned many moons ago that he'd like to see a predicate > dispatch implementation for Clojure that didn't have the kind of hardwiring > found in the Chambers/Chen paper. He suggested investigating Datalog. After > much reading, I've decided that a runtime in-memory Datalog that handles > dispatching is going to be too slow for many useful scenarios (an efficient > Datalog based on Binary Decision Diagrams might be possible, but this is an > incredibly complex undertaking in itself, meh). > > What we want is Standard MLs efficient compilation from decision diagrams > to switch statements (CiteSeerX — Optimizing Pattern Matching > <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.5507>). > However Standard ML (Haskell, OCaml, Scala as well) pattern-matching has > issues with order among other things (Programming in Standard ML > <http://www.cs.cmu.edu/~rwh/smlbook/book.pdf>). > > What if we allow a logic engine to drive the compilation of the decision > diagram? This would be done by users mapping logic predicates to Clojure > predicate functions. Relationships between predicates can be added to the > logic engine allowing compilation to produce a very efficient decision > diagram. Nothing is hard coded, everything is driven by the kinds of > predicates and relationships between predicates that a user actually cares > about. > > All this is to say that this means Logos needs the ability to load > database of facts, index those facts, and to accept new facts and > relationships and update accordingly. So this going to happen sooner rather > then later. > > I welcome any feedback from anyone who has thoughts on this approach to > implementing predicate dispatch efficiently! > > Some thoughts on what this might look like is evolving here, > https://github.com/swannodette/match/wiki/Crazy-Ideas. > > David > > On Mon, Apr 11, 2011 at 3:08 PM, David Nolen <dnolen...@gmail.com > <javascript:>> wrote: > >> On Mon, Apr 11, 2011 at 2:01 PM, Vagif Verdi <vagif...@gmail.com >> <javascript:>> wrote: >> >>> Can it be used as an inference (rule) engine ? >> >> >> If you mean in the same way that you can build inference (rule) engines >> in Prolog - I don't see why not. >> >> However there is a bit of work to be done in order to make building >> efficient rule engines easier: >> >> * Be able to load a database (aka Clojure collection) of facts >> * Indexing of facts >> * Intelligently use indexed facts >> >> Currently I'm a bit more interested in exploring type inference (via >> nominal logic) so I'm not sure when exactly I'll get to these, tho I'll >> gladly take patches from people who want such features sooner rather than >> later :) >> >> David >> > > -- 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 unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
