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
>> 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
