Picat is my favorite new toolbox language
buttondown.email
buttondown.email
> 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.