a language like this

should X when Y
Y

should X when Y
it is Y when Z
Z

in these X is imperative, Y and Z are declarative

then all of prolog

and:

it is Y when Z and W

or:

it is Y when Z
it is Y when W

note that this when allows that the states change
I dunno, the cool thing would be that you didn't have to worry about the order of things

>>1
who are you quoting?