[iamwil]

Figure 5 kinda reminds me of...Datalog? Where you have rules and a data set. Given the rules, you iteratively compute on the data set until there are no more rules that match the given data--the fixed point.

Is that right?

[Verdex]

I think that's accurate except it looks like you need to manually continue the applications of your transform.

It looks like they've got a pure functional thing going on.