Consistent Extensions in NARS2000
From NARS2000
- Strand Assignment: A sequence of names enclosed in parentheses can be assigned to, e.g. (A B)←1 2 is the same as A←1 and B←2.
- Modify Assignment: An arbitrary (primitive or user-defined) dyadic function may appear immediately to the left of an assignment arrow, e.g. (A B)+←1 is the same as A←A+1 and B←B+1.