条件表达式：会挂起，直到codice_61这个future已回应询问codice_62是否大于其自身的请求。
历史."future"与"promise"构造首先在诸如MultiLisp和Act 1之类的编程语言中实现。在并发逻辑编程语言中使用逻辑变量进行通信非常类似于future。这些开始于"Prolog with Freeze"和"IC Prolog"，并成为真正的并发原语，包括关系语言、Concurrent Prolog、守卫霍恩子句（GHC）、Parlog、Strand、V