Syntax proposal: for

[yihozhang]

It is common to define one-off rulesets and run them instantly for debugging purposes, e.g.,

(ruleset debug)
(rule ((= e (__some_conditions__)))
    ((extract e)
     ;; some other stuffs
    )
    :ruleset debug)
(run debug 1)

This is tedious and may interrupt the debugging flow, so here I propose a convenient form of the above snippet:

(for ((= e (__some_conditions__)))
    ((extract e)
      ;; some other stuffs
    ))

(or more generally for running N iterations:

(for N ((= e (__some_conditions__)))
    ((extract e)
      ;; some other stuffs
    ))

)

[oflatt]

This does look useful

Perhaps we should have a little library of sugar you can import? We might want to draw a more explicit line between sugar and the egglog language