oh I see. I removed last-val from project and it worked fine.. Thanks, Sunil.
On Sat, Oct 8, 2011 at 7:55 PM, David Nolen <dnolen.li...@gmail.com> wrote: > Your projecting last-val which is unbound. Once projected you have a value > not a logic var. > > David > > On Saturday, October 8, 2011, Sunil S Nandihalli < > sunil.nandiha...@gmail.com> wrote: > > Thanks Ambrose. that fixed it .. I tried the following along the same > lines but didn't work.. can you suggest as to how I can do it? > > (defn nlasto [l last-val] > > (project [l last-val] > > (== last-val (last l)))) > > (run* [q] (nlasto [1 2 3 4 5] q)) > > I do know how to do it in pure relational thing.. I just wanted to try > the non-relational version > > Sunil. > > On Sat, Oct 8, 2011 at 6:38 PM, Ambrose Bonnaire-Sergeant < > abonnaireserge...@gmail.com> wrote: > >> > >> Hi Sunil, > >> Use the non-relational goal "project" to get the value of a lvar. > >> The "is" operator in Prolog does similar things AFAIK. > >> Untested: > >> (defnu lengtho [l n] > >> ([[] 0]) > >> ([[_ . rst] _] (fresh [n1] > >> (lengtho rst n1) > >> (project [n n1] > >> (== n (+ n1 1))))) > >> Thanks, > >> Ambrose > >> On Sat, Oct 8, 2011 at 3:50 PM, Sunil S Nandihalli < > sunil.nandiha...@gmail.com> wrote: > >>> > >>> Hi everybody, > >>> I was just trying to implement a simple length of a list in core.logic > (basically solving the 99-problems-in-prolog). I am not able to find a way > to increment values.. Can somebody help me with this... I would like some > thing like the following to work.. > >>> (defnu lengtho [l n] > >>> ([[] 0]) > >>> ([[_ . rst] _] (fresh [n1] > >>> (lengtho rst n1) > >>> (== n (+ n1 1)))) > >>> but I can't do "(== n (+ n1 1))" can somebody help me? Even if you tell > me as to how I can covert the regular count function so that I can use it as > a goal.. that would work too. > >>> Thanks, > >>> 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 < > clojure%2bunsubscr...@googlegroups.com> > > >>> For more options, visit this group at > >>> http://groups.google.com/group/clojure?hl=en < > 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 < > clojure%2bunsubscr...@googlegroups.com> > > >> For more options, visit this group at > >> http://groups.google.com/group/clojure?hl=en < > 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 < > clojure%2bunsubscr...@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 > -- 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
