Comment Comment by junke I was trying to make sense of the imperative part, and the documentation (http://retina.inf.ufsc.br/picat_guide) says:> 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. parent junke 3 years ago
> 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.