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 at http://groups.google.com/group/clojure?hl=en
