Un concepto similar es el uso de variables lógicas en programación concurrente, tal como existe en "Prolog with Freeze" y en "IC Prolog", convirtiéndose en una verdadera primitiva de programación concurrente en Concurrent Prolog.