The single-assignment I-var from dataflow programming languages, originating in Id and included in Reppy's Concurrent ML, is much like the concurrent logic variable.
来自数据流编程语言的单一赋值I-var ，源自Id并包含在Reppy的Concurrent ML中，非常类似于并发逻辑变量。