A concurrent logic variable is similar to a future, but is updated by unification, in the same way as logic variables in logic programming.
Параллельная логическая переменная похожа на future, но обновляется во время унификации так же, как и логические переменные в логическом программировании.