I'm no expert, but I think no, at least not in any way you'd want to maintain.
Also, if that's all of your core.logic code, that's pretty damned short and
clear. I can read and understand that right away.
--Ashton
Sent from my iPhone
> On Jan 4, 2015, at 2:43 AM, rogergl <ro...@gilliar.de> wrote:
>
> The following snippet works
>
> (fresh [?row ?col]
> (fd/+ row 1 ?row)
> (fd/+ col 1 ?col)
> (membero {:row ?row :col ?col} data)))] ; check
> existence of {:row (?row + 1) :col (?col + 1)}
>
> But I'm not sure if this isn't to verbose.
>
> The question is: Is it really neccessary to bind to row and col or ist there
> a shorter way ?
>
> Regards
> Roger
> --
> 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 unsubscribe from this group and stop receiving emails from it, send an
> email to clojure+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
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 unsubscribe from this group and stop receiving emails from it, send an email
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
