Guarded Command Language
計算の流れで G {\displaystyle G} が出てくると、それを評価する。
G {\displaystyle G} が真なら S {\displaystyle S} を実行する。
G {\displaystyle G} が偽なら、コンテキストに従って次にすべきことを決定する。