Наприклад, в мові Kotlin при присвоювання відбувається копіювання об'єкта, а в мові Rust - переміщення (move-семантика) об'єкта і стара зв'язка стає недійсною.
У логічному програмуванні прийнятий інший, алгебраїчний підхід.
Існують тільки невідомі, які ще не обчислені, і відповідні ідентифікатори для позначення цих невідомих. Програма тільки визначає їх значення, самі вони постійні.
