纯粹的单赋值语言，如此验证将会被简化。但是，数据流程释义在Lucid的演变方向上有着重要的影响。
细节.Lucid从ISWIM继承了codice_4子句作为自己的块结构，从POP-2继承了数据类型。在Lucid中，每个表达式中的变量，都要先在表达式自身的codice_4子句中寻找对应的变量定义，包含仍未约束的变量的表达式，在继续进行（proceed）之前，要等待直到这个变量已经被约束，即等待从输入中获取变量的值。一个表达式如codice_6，在返回这个表达式的输出之前，将等待直到c