core-logic

ddrbt 2017-03-09T03:04:04.000539Z

run* returns a lazy sequence. Would it be possible to put some finite domain constraints in an atom and have the constraints consulted each time I want to realise more of the sequence? Failing this, I'd have to call run* each time I have updated constraints.

ddrbt 2017-03-09T03:04:40.000540Z

(As some background, I'm using data coming out of run* to derive constraints as I go)