p和Act 1之类的编程语言中实现。在并发逻辑编程语言中使用逻辑变量进行通信非常类似于future。这些开始于"Prolog with Freeze"和"IC Prolog"，并成为真正的并发原语，包括关系语言、Concurrent Prolog、守卫霍恩子句（GHC）、Parlog、Strand、Vulcan、Janus、Oz-Mozart、Flow Java和Alice ML。来自数据流编程语言的单一赋值"I-var" ，源自Id并包含在Reppy的"Concurrent ML"中，非常类似于并发逻辑变