Addition

The addition is needed as the most basic operation.

Syntax: $UF=add( UF_1, UF_2 )$

Examples:

• $fun(x, add( 1, 3), Obj)$; Realizes the function: $x=1+3=4$
• $fun(x, add( y, -3), Obj)$; Realizes the function: $x=y+(-3)=y-3$
• $fun(x, add( add(2,y), add( z, v ) ), Obj)$; Realizes the function: $x=(2+y)+(z+v)=2+y+z+v$