Re: logos on clojars .. workflow for using things that r present only on github but not on clojars..
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
Re: logos on clojars .. workflow for using things that r present only on github but not on clojars..
On Feb 24, 2:52 pm, Sunil S Nandihalli wrote: > I was wondering if there is a reason as to why logos was not put on > clojars.. If it was intended to be that way by the author.. what is a good > work flow to use some that is available only on github but not on clojars.. > A description of the workflow with cake/leiningen would be perfect. You can set up a private repository using Nexus or Archiva, and then use the lein deploy task to put logos out there. Then add your private repo under :repositories in project.clj of the project with which you want to use logos. This requires Leiningen 1.5 from git and is not thoroughly documented yet. Another alternative would be to deploy it as org.clojars.YOURNAME/ logos on clojars. -Phil -- 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
Re: logos on clojars .. workflow for using things that r present only on github but not on clojars..
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? > 2) tabling > I don't know what this means.. r u hinting at memoization? > 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 .. :) > > David > 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 > -- > 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 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
Re: logos on clojars .. workflow for using things that r present only on github but not on clojars..
On Thu, Feb 24, 2011 at 5:52 PM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Hello everybody, > I was wondering if there is a reason as to why logos was not put on > clojars.. If it was intended to be that way by the author.. what is a good > work flow to use some that is available only on github but not on clojars.. > A description of the workflow with cake/leiningen would be perfect. > > Sunil. > Don't have anything to say about the best way to use it from git, but it's not on Clojars yet because it doesn't have the feature set required to be useful for everyday use. Before putting it out there for consumption, I'd like it to have: 1) pattern matcher 2) tabling 3) convenient syntax for dealing with facts defined as sets of Clojure data structures. 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
logos on clojars .. workflow for using things that r present only on github but not on clojars..
Hello everybody, I was wondering if there is a reason as to why logos was not put on clojars.. If it was intended to be that way by the author.. what is a good work flow to use some that is available only on github but not on clojars.. A description of the workflow with cake/leiningen would be perfect. Sunil. -- 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
