Guarded Command Language
ガード付きコマンドは、 G → S {\displaystyle G\rightarrow {S}} という形式の文であり、ここで
G {\displaystyle G} は、ガードと呼ばれる命題である。
S {\displaystyle S} は文である。
G ≡ True {\displaystyle G\equiv {\mbox{True}}} なら、ガード付きコマンドは単に S {\displaystyle S} と記述される。