Kevin, Check out file:///home/jim/logic-prog.html
Jim On Apr 18, 10:19 pm, Kevin Livingston <kevinlivingston.pub...@gmail.com> wrote: > does anyone have a clojure implementation of a unifier, eg. something > that does this: > > http://norvig.com/paip/unify.lisp > > if not I'll do it, but just thought I'd grab it quick if it was out > there. and any other good resources for symbolic reasoning? I've > been looking but haven't seen much that is clojure specific, obviously > there is Jena for Java (for RDF etc. support), but that's somewhat of > a mess to use in a language that affords the ability to just construct > lists etc. > > Kevin > > -- > 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
