core.logic does not guarantee (or attempt to provide) randomness

Cheers @norman, that confirms my suspicion

So potentially, I can use core.logic to know whether there is a viable solution for my set of parameters or not, and, if I slack on the randomness, what such a solution could look like. Hm. I think it may still make sense to incorporate it in my program logic, but I have to think more about how 🙂

In The Reasoned Schemer, definition 54 (of membero), I don't understand how the nullo line can be left out. From my perspective, this would then cause an infinite recursive loop in the "else" part.

Maybe I don't fully understand cdro - I suppose that this should fail when given an empty list and a fresh lvar.

Ah, I see, I think... I'll end up with (== (lvar1 lvar2) ()) or something to that effect inside the cdro body.

Thanks for rubber ducking, everyone 😄

What can one use instead of everyg in Clojurescript core.logic?