Lustre (プログラミング言語)
追加の内部変数は、次のように宣言できる。
注: 式の順序は重要ではなく、U = X and Y; と Z = not U;の順序で、結果は変わらない。