条款：Lucid中的范围结构和定义的功能

在本文中，我们描述了如何扩展Lucid以允许用户定义的函数和范围约定，即限制定义有效性范围的约定。这是使用称为子句的新构造来完成的，这些子句的形式与类Algol语言的块和过程声明类似，但严格来说是非命令式的，因为子句实际上是一个复合断言，即作为程序，通过组合一组断言而形成的断言。每种类型的子句（共有四种）都有一个简单的数学语义，以及用于一般程序信息处理的自身特征“操作规则”。此外，（一些）Lucid程序的非正式操作视图（如前一篇文章所述）可以扩展，以对条款的效果提供（不完整的）操作理解。在这个框架中，“compute”子句定义了一个块；“mapping”子句定义了一个常规（逐点）函数；“produce”子句定义了具有持久内存的块（或匿名的“进程”或“参与者”）；“function”子句定义了一种带有自己变量的过程（或一种通用的协同程序）。