On Thu, Feb 24, 2011 at 6:38 PM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote:
> Thanks David for such a quick response. > that would be nice David.. I think we r in for a treat with logos being a > better prolog in clojure.. :) > >> 1) pattern matcher >> > like matchure?? what exactly would this be? > Conceptually similar to matchure but it would create logic vars and perform unification as needed. > 2) tabling >> > I don't know what this means.. r u hinting at memoization? > Memoization generalized for logic programs. You get a few of the benefits of Datalog w/ tabling. > 3) convenient syntax for dealing with facts defined as sets of Clojure data >> structures. >> > in fact convenient syntax for various basic data structures is one of the > key reasons I love clojure so much .. :) > Definitely. > eagerly waiting for your stuff on clojars. I was considering porting some > code I had written with Jim Duey mini-kanren implementation. Would I be > right in assuming Logos is a superset of his stuff already .. Would I have > to watch out for something in particular when do this porting? > Sunil > The differences are minor. * Sequences that end with logic vars are constructed like so: (lcons 1 (lvar 'x)) * You need to replace fresh with exist. * Interleaving search is the default instead of the depth-first search of Prolog. 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
