Can you fold over solutions?

Hi,

Is there any predicate which acts like a cross between foreach and foldl?
In other words, it iterates through all solutions to a goal (like foreach)
but can carry bindings from one iteration of the iterated predicate to the
next (like foldl)?

Thanks,
Mark.
-------------- next part --------------
HTML attachment scrubbed and removed