From Graham Cooper@21:1/5 to All on Tue Aug 2 21:19:36 2022
unify S T TTTT
-let R false
-let Q true
-if
-eq S T
-let R true
-endif
-if
-eq R false
-if
-bigger S y ********************** S is a variable eg zN
-print S
-print T
-addvar S T TTTT
-echo newline
-endif
-if
-eq R false
-if
-bigger T y
-print T
-print S
-addvar T S TTTT
-echo newline
-endif
-if
-eq Q false
-let R false
-endif
-if
-eq Q true
-if
-eq R false
-unifyarg S T TTTT
-endif