for

for/2 (i,io) ND

The for function predicate (see Prova extensions for functional programming) accepts two integers denoting the loop bounds From and To and non-deterministically enumerates all intermediate values in the output variable that is typically initially free.

Consider this example:

This fragment sends Max messages in new conversations with conversation-id equal to I running from 1 to Max.