Thanks Jim, I'll definitely keep this in mind, I appreciate it. This seems mostly like a tool for constraint satisfaction, which I've been keeping my eyes on, but don't use as much as more 'open world' reasoning, back-chaining, and pattern matching etc. (which is why I was looking for a unifier) There are some problem I have for which your type of constraint logic may help me.
I did port Norvig's unifier, although I'm not convinced I did it with good clojure code, it's here, I'm hoping to get some feedback: http://groups.google.com/group/clojure/browse_thread/thread/996ecadf98328c6b# Kevin On Apr 19, 8:16 am, jim <jim.d...@gmail.com> wrote: > Lack of coffee this morning. :) > > Tryhttp://intensivesystems.net/tutorials/logic_prog.html > > On Apr 19, 9:05 am, Meikel Brandmeyer <m...@kotka.de> wrote: > > > > Check out file:///home/jim/logic-prog.html > > > 404 ;P > > -- > 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 > athttp://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
