This is the most creative idea I've seen in a long time. It is also the smoothest way of "declaring an imperative" I've ever seen. It is also the most amazing

This is the most creative idea I've seen in a long time. It is also the smoothest way of "declaring an imperative" I've ever seen. It is also the most amazing use of the parser which is built-in to prolog (no, not the DCG's, the other parser, the railroad/operator precedence parser). I wish it had been discovered around 1981. The world might be very different.