At first glance, I'd guess that the empty list is causing your problem.
You can always come up with one more path (which may not create a unique
solution, but a path to explore) that has one more empty list appended.


On Tue, Oct 29, 2019 at 6:06 PM Laurens Van Houtven <_...@lvh.io> wrote:

> Hi,
>
> I'm trying to divide a list into 3 lists such that (= my-list (concat a b
> c)). I guess you could say I'm writing concato :-)
>
> (l/run n
>   [a b c]
>   (l/fresh [A B] ;; uppercase are internal accumulators
>     (l/appendo a b A)
>     (l/appendo A c B)
>     (l/== B '(p q r s))))
>
> ... running this program with small n (let's say 5) works fine. Ask for
> more answers than there are (e.g. 20) and it ostensibly runs forever.
>
> 1. Why?
> 2. How do I fix that? (I've tried reordering the goals.)
>
> thanks
> lvh
>
> --
> 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.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/clojure/CAE_Hg6Z20Hy45myrkarywUCEVa%2B%3Dr8nf2TH2E0wSJe9n%2BQCjPA%40mail.gmail.com
> <https://groups.google.com/d/msgid/clojure/CAE_Hg6Z20Hy45myrkarywUCEVa%2B%3Dr8nf2TH2E0wSJe9n%2BQCjPA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/clojure/CAAQjde5o%3D5qrwrj1eOC%2B2Dhq5Xh%2ByAcEW-3o76E52kEhh2uHtA%40mail.gmail.com.

Reply via email to