> In order to handle assignments, Picat creates new variables at compile time. In the above example, at compile time, Picat creates a new variable, say X1, to hold the value of X after the assignment X:=X+1.
Haven't seen that name in a while! I took Compilers from Neng-Fa Zhou (one of the Picat authors) at Brooklyn College circa 2011, and he had us write compilers for his new language under development.
> In order to handle assignments, Picat creates new variables at compile time. In the above example, at compile time, Picat creates a new variable, say X1, to hold the value of X after the assignment X:=X+1.