Unification.

%%% Unification
declare
A
N
M
X = person(name: 'Ann' age: A)
Z = person(name: N age: 25)
X = Z
25 = A
A - 1 = M

{Browse X}
{Browse Z}
{Browse N}
{Browse A}
{Browse (M + 3)}

CSci 4651 course web site.