MPP with Values

MPPV is an extension of MPP with values. Values can be of type bool (boolean) and int (integer - non negative numbers)

Instructions

x.+f:t

Add a field f of type t to the atom in focus x. It will be initialized with the value 0 in the case of int, and false in the case of bool.

x.f = u

Assigns the value u to the field f of the atom in focus x. The value must be of the appropriate type, otherwise false is returned.

x.f = y

Assigns the value in focus y to the field f of the atom in focus x. The value must be of the appropriate type, otherwise false is returned.

x = u

Assigns the value u to the focus x.

x = y

Assigns the value in focus y to the focus x.

x == u

Return true if the value in focus x equals the value u.

x == y

Return true if the value in focus x equals the value in focus y.