Re: [eclipse-users] Conditional jump out of loops

On Wednesday 24 January 2007 20:02, Kish Shen wrote:
> 
> fromto(_,End,End, end) do .....
> 
> and in your loop body, when you want to terminate, you unify End with end, End = end.
> 
I should have been clearer about this: this will terminate the loop at the end of the current 
`iteration' of the loop, rather than immediately, i.e. all the goals in the loop body will be
executed.

Cheers,

Kish