(ASSEMBLE.CLAUSE ( pagewidth 1 pprint ) 14
(put.Ai.value.Xn 4 1)
(allocate)
(put.Ai.symbol 3 pprint)
(put.Ai.void 2)
(put.Ai.structure 1 cur←page←width 1)
(unify.local.Xn 4)
(call 3 clause←module 3 si)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( pagewidth 1 pprint ) 4
(get.Ai.constant 1 72)
(proceed)
)
(ASSEMBLE.CLAUSE ( ppdepth 1 pprint ) 4
(get.Ai.constant 1 10)
(proceed)
)
(ASSEMBLE.CLAUSE ( pp 4 pprint ) 36
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 4)
(get.Ai.variable.Yn 4 3)
(put.Ai.symbol 3 pprint)
(put.Ai.constant 2 1)
(put.Ai.symbol 1 cur←page←width)
(call 7 abolish 3 si)
(put.Ai.symbol 2 pprint)
(put.Ai.structure 1 cur←page←width 1)
(unify.local.Yn 4)
(call 6 assert←module 2 si)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart ppp 3 pprint)
)
(ASSEMBLE.CLAUSE ( pp 4 pprint ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( pp 1 pprint ) 21
(allocate)
(get.Ai.variable.Yn 1 2)
(put.Ai.variable.Yn 1 1)
(call 6 current←output 1 si)
(put.Ai.variable.Yn 1 3)
(call 6 ppdepth 1 pprint)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart ppp 3 pprint)
)
(ASSEMBLE.CLAUSE ( pp 1 pprint ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( ppp 3 pprint ) 84
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 7)
(put.Ai.variable.Yn 1 1)
(call 10 current←output 1 si)
(put.Ai.variable.Yn 2 6)
(put.Ai.value.Yn 1 3)
(call 10 line←position 2 si)
(put.Ai.variable.Yn 1 2)
(call 10 open←null←stream 1 si)
(put.Ai.value.Yn 1 2)
(call 10 set←output 1 si)
(either 10 66)
(put.Ai.value.Yn 6 7)
(put.Ai.void 5)
(put.Ai.structure 4 context 3)
(unify.local.Yn 6)
(unify.symbol fence)
(unify.void 1)
(put.Ai.nil 3)
(put.Ai.variable.Yn 2 5)
(put.Ai.value.Yn 1 4)
(call 8 vplan 6 pprint)
(put.Ai.value.Yn 1 3)
(call 8 set←output 1 si)
(put.Ai.symbol 2 no%>)
(put.Ai.unsafe.Yn 1 5)
(call 7 dump 2 pprint)
(jump.to 74)
;66
(or.finally)
(put.Ai.value.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 5 writeq 2 si)
;74
(put.Ai.unsafe.Yn 1 2)
(call 4 close 1 si)
(put.Ai.unsafe.Yn 1 1)
(call 3 set←output 1 si)
(body.cut)
(fail)
)
(ASSEMBLE.CLAUSE ( hplan 6 pprint ) 36
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 4)
(get.Ai.variable.Yn 5 5)
(either 8 21)
(put.Ai.value.Yn 1 1)
(is.a 1)
(jump.to 25)
;21
(or.finally)
(put.Ai.value.Yn 1 1)
(is.a 248)
;25
(body.cut)
(put.Ai.value.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart push←atom 5 pprint)
)
(ASSEMBLE.CLAUSE ( hplan 6 pprint ) 19
(get.Ai.constant 6 0)
(head.cut)
(put.Ai.value.Xn 6 5)
(put.Ai.value.Xn 5 4)
(put.Ai.value.Xn 4 3)
(put.Ai.value.Xn 3 2)
(put.Ai.symbol 2 %.%.%.)
(put.Ai.constant 1 3)
(execute push←fence 6 pprint)
)
(ASSEMBLE.CLAUSE ( hplan 6 pprint ) 57
(get.Ai.list 1)
(allocate)
(unify.variable.Yn 6)
(unify.variable.Yn 5)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 5 4)
(head.cut)
(load.value.Xn 6)
(add.neg.word -1)
(store.variable.Yn 9)
(put.Ai.variable.Yn 6 8)
(put.Ai.value.Xn 5 4)
(put.Ai.variable.Yn 4 7)
(put.Ai.value.Xn 3 2)
(put.Ai.symbol 2 %[)
(put.Ai.constant 1 2)
(call 12 open←strct 6 pprint)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 8)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 7)
(put.Ai.list 1)
(unify.value.Yn 6)
(unify.value.Yn 5)
(call 7 hseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %])
(depart close←horz←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( hplan 6 pprint ) 47
(allocate)
(get.Ai.variable.Yn 1 4)
(get.Ai.variable.Yn 2 5)
(get.Ai.variable.Yn 3 6)
(get.Ai.variable.Yn 4 7)
(get.Ai.variable.Yn 5 8)
(get.Ai.variable.Yn 6 9)
(put.Ai.variable.Yn 4 2)
(put.Ai.variable.Yn 3 1)
(put.Ai.variable.Yn 2 3)
(put.Ai.value.Yn 1 4)
(call 12 opdata 4 pprint)
(body.cut)
(load.value.Yn 9)
(add.neg.word -1)
(store.variable.Xn 9)
(put.Ai.value.Yn 8 8)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.value.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart hoper 9 pprint)
)
(ASSEMBLE.CLAUSE ( hplan 6 pprint ) 80
(allocate)
(get.Ai.variable.Yn 2 12)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 13)
(get.Ai.variable.Yn 5 4)
(get.Ai.variable.Yn 6 14)
(put.Ai.list 2)
(unify.variable.Yn 11)
(unify.variable.Yn 5)
(call 17 %=%.%. 2 si)
(body.cut)
(load.value.Yn 14)
(add.neg.word -1)
(store.variable.Yn 8)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 10)
(put.Ai.value.Yn 4 13)
(put.Ai.variable.Yn 3 9)
(put.Ai.value.Yn 2 12)
(put.Ai.value.Yn 1 11)
(call 13 hplan 6 pprint)
(put.Ai.variable.Yn 6 7)
(put.Ai.unsafe.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.unsafe.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 2)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 hseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart close←horz←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 36
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 4)
(get.Ai.variable.Yn 5 5)
(either 8 21)
(put.Ai.value.Yn 1 1)
(is.a 1)
(jump.to 25)
;21
(or.finally)
(put.Ai.value.Yn 1 1)
(is.a 248)
;25
(body.cut)
(put.Ai.value.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart push←atom 5 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 19
(get.Ai.constant 6 0)
(head.cut)
(put.Ai.value.Xn 6 5)
(put.Ai.value.Xn 5 4)
(put.Ai.value.Xn 4 3)
(put.Ai.value.Xn 3 2)
(put.Ai.symbol 2 %.%.%.)
(put.Ai.constant 1 3)
(execute push←fence 6 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 88
(get.Ai.list 1)
(allocate)
(unify.variable.Yn 6)
(unify.variable.Yn 5)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 5 4)
(load.value.Xn 6)
(add.neg.word -1)
(store.variable.Yn 9)
(put.Ai.variable.Yn 6 8)
(put.Ai.value.Xn 5 4)
(put.Ai.variable.Yn 4 7)
(put.Ai.value.Xn 3 2)
(put.Ai.symbol 2 %[)
(put.Ai.constant 1 1)
(call 12 open←strct 6 pprint)
(either 12 61)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 3)
(put.Ai.value.Yn 4 8)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 7)
(put.Ai.list 1)
(unify.value.Yn 6)
(unify.value.Yn 5)
(call 12 hseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.value.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.value.Yn 2 1)
(put.Ai.symbol 1 %])
(depart close←vert←strct 5 pprint)
;61
(or.finally)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 8)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 7)
(put.Ai.list 1)
(unify.value.Yn 6)
(unify.value.Yn 5)
(call 7 vseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %])
(depart lock←vert←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 109
(get.Ai.list 1)
(allocate)
(unify.variable.Yn 7)
(unify.variable.Yn 6)
(put.Ai.value.Xn 1 2)
(get.Ai.variable.Yn 3 1)
(get.Ai.variable.Yn 5 5)
(head.cut)
(load.value.Xn 6)
(add.neg.word -1)
(store.variable.Yn 10)
(put.Ai.variable.Yn 3 12)
(put.Ai.variable.Yn 2 11)
(call 15 fold 3 pprint)
(put.Ai.variable.Yn 6 9)
(put.Ai.unsafe.Yn 5 12)
(put.Ai.variable.Yn 4 8)
(put.Ai.unsafe.Yn 3 11)
(put.Ai.symbol 2 %[)
(put.Ai.constant 1 1)
(call 13 open←strct 6 pprint)
(either 13 74)
(put.Ai.value.Yn 6 10)
(put.Ai.variable.Yn 5 4)
(put.Ai.value.Yn 4 9)
(put.Ai.variable.Yn 3 3)
(put.Ai.value.Yn 2 8)
(put.Ai.list 1)
(unify.value.Yn 7)
(unify.value.Yn 6)
(call 13 hseq 6 pprint)
(put.Ai.value.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.value.Yn 2 3)
(put.Ai.symbol 1 %])
(call 13 close←vert←strct 5 pprint)
(jump.to 104)
;74
(or.finally)
(put.Ai.value.Yn 6 10)
(put.Ai.variable.Yn 5 4)
(put.Ai.unsafe.Yn 4 9)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 8)
(put.Ai.list 1)
(unify.value.Yn 7)
(unify.value.Yn 6)
(call 8 vseq 6 pprint)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.unsafe.Yn 2 3)
(put.Ai.symbol 1 %])
(call 5 lock←vert←strct 5 pprint)
;104
(put.Ai.unsafe.Yn 1 2)
(get.Ai.list 1)
(unify.symbol %>)
(unify.local.Yn 1)
(progress)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 72
(allocate)
(get.Ai.variable.Yn 1 4)
(get.Ai.variable.Yn 2 5)
(get.Ai.variable.Yn 3 6)
(get.Ai.variable.Yn 4 7)
(get.Ai.variable.Yn 5 8)
(get.Ai.variable.Yn 6 10)
(put.Ai.variable.Yn 4 2)
(put.Ai.variable.Yn 3 1)
(put.Ai.variable.Yn 2 3)
(put.Ai.value.Yn 1 4)
(call 13 opdata 4 pprint)
(load.value.Yn 10)
(add.neg.word -1)
(store.variable.Yn 9)
(either 12 53)
(put.Ai.value.Yn 9 9)
(put.Ai.value.Yn 8 8)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.value.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart hoper 9 pprint)
;53
(or.finally)
(put.Ai.value.Yn 9 9)
(put.Ai.value.Yn 8 8)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.value.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart voper 9 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 91
(allocate)
(get.Ai.variable.Yn 1 6)
(get.Ai.variable.Yn 2 11)
(get.Ai.variable.Yn 3 1)
(get.Ai.variable.Yn 5 9)
(get.Ai.variable.Yn 6 12)
(put.Ai.variable.Yn 4 4)
(put.Ai.variable.Yn 3 3)
(put.Ai.variable.Yn 2 5)
(put.Ai.value.Yn 1 6)
(call 15 opdata 4 pprint)
(body.cut)
(load.value.Yn 12)
(add.neg.word -1)
(store.variable.Yn 10)
(put.Ai.variable.Yn 3 8)
(put.Ai.variable.Yn 2 7)
(put.Ai.value.Yn 1 11)
(call 13 fold 3 pprint)
(either 13 64)
(put.Ai.value.Yn 9 10)
(put.Ai.value.Yn 8 9)
(put.Ai.value.Yn 7 8)
(put.Ai.variable.Yn 6 2)
(put.Ai.value.Yn 5 7)
(put.Ai.value.Yn 4 6)
(put.Ai.value.Yn 3 5)
(put.Ai.value.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 13 hoper 9 pprint)
(jump.to 86)
;64
(or.finally)
(put.Ai.value.Yn 9 10)
(put.Ai.value.Yn 8 9)
(put.Ai.unsafe.Yn 7 8)
(put.Ai.variable.Yn 6 2)
(put.Ai.unsafe.Yn 5 7)
(put.Ai.value.Yn 4 6)
(put.Ai.unsafe.Yn 3 5)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.unsafe.Yn 1 3)
(call 5 voper 9 pprint)
;86
(put.Ai.unsafe.Yn 1 2)
(get.Ai.list 1)
(unify.symbol %>)
(unify.local.Yn 1)
(progress)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 79
(allocate)
(get.Ai.variable.Yn 2 12)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 13)
(get.Ai.variable.Yn 5 4)
(get.Ai.variable.Yn 6 14)
(put.Ai.list 2)
(unify.variable.Yn 11)
(unify.variable.Yn 5)
(call 17 %=%.%. 2 si)
(load.value.Yn 14)
(add.neg.word -1)
(store.variable.Yn 8)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 10)
(put.Ai.value.Yn 4 13)
(put.Ai.variable.Yn 3 9)
(put.Ai.value.Yn 2 12)
(put.Ai.value.Yn 1 11)
(call 13 hplan 6 pprint)
(put.Ai.variable.Yn 6 7)
(put.Ai.unsafe.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.unsafe.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 hseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart close←vert←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 79
(allocate)
(get.Ai.variable.Yn 2 12)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 13)
(get.Ai.variable.Yn 5 4)
(get.Ai.variable.Yn 6 14)
(put.Ai.list 2)
(unify.variable.Yn 11)
(unify.variable.Yn 5)
(call 17 %=%.%. 2 si)
(load.value.Yn 14)
(add.neg.word -1)
(store.variable.Yn 8)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 10)
(put.Ai.value.Yn 4 13)
(put.Ai.variable.Yn 3 9)
(put.Ai.value.Yn 2 12)
(put.Ai.value.Yn 1 11)
(call 13 vplan 6 pprint)
(put.Ai.variable.Yn 6 7)
(put.Ai.unsafe.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.unsafe.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 vseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart lock←vert←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 119
(allocate)
(get.Ai.variable.Yn 2 12)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 9)
(get.Ai.variable.Yn 5 4)
(get.Ai.variable.Yn 6 13)
(put.Ai.list 2)
(unify.variable.Yn 11)
(unify.variable.Yn 5)
(call 16 %=%.%. 2 si)
(load.value.Yn 13)
(add.neg.word -1)
(store.variable.Yn 6)
(put.Ai.value.Yn 6 6)
(put.Ai.variable.Yn 5 8)
(put.Ai.value.Yn 4 9)
(put.Ai.variable.Yn 3 10)
(put.Ai.value.Yn 2 12)
(put.Ai.value.Yn 1 11)
(call 13 vplan 6 pprint)
(put.Ai.void 6)
(put.Ai.value.Yn 5 8)
(put.Ai.variable.Yn 4 7)
(put.Ai.unsafe.Yn 3 10)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 12 open←strct 6 pprint)
(put.Ai.value.Yn 1 9)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 1)
(unify.void 2)
(put.Ai.unsafe.Yn 2 8)
(get.Ai.structure 2 context 3)
(unify.variable.Xn 2)
(unify.void 2)
(load.value.Xn 2)
(load.value.Xn 1)
(subtract)
(load.pos.word 5)
(greater.than.else 120)
(load.value.Xn 1)
(add.pos.word 3)
(store.variable.Xn 1)
(put.Ai.void 2)
(put.Ai.value.Xn 4 2)
(get.Ai.structure 2 context 3)
(unify.value.Xn 1)
(unify.symbol fence)
(unify.void 1)
(put.Ai.unsafe.Yn 2 7)
(get.Ai.list 2)
(unify.variable.Xn 3)
(unify.variable.Xn 2)
(get.Ai.structure 3 nltab 1)
(unify.value.Xn 1)
(put.Ai.value.Yn 6 6)
(put.Ai.variable.Yn 5 3)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 1 5)
(call 7 vseq 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart lock←vert←strct 5 pprint)
;120
(fail)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 94
(allocate)
(get.Ai.variable.Yn 2 15)
(get.Ai.variable.Yn 3 1)
(get.Ai.variable.Yn 5 5)
(get.Ai.variable.Yn 6 16)
(put.Ai.list 2)
(unify.variable.Yn 12)
(unify.variable.Yn 6)
(call 19 %=%.%. 2 si)
(load.value.Yn 16)
(add.neg.word -1)
(store.variable.Yn 9)
(put.Ai.variable.Yn 3 14)
(put.Ai.variable.Yn 2 13)
(put.Ai.value.Yn 1 15)
(call 17 fold 3 pprint)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 11)
(put.Ai.unsafe.Yn 4 14)
(put.Ai.variable.Yn 3 10)
(put.Ai.unsafe.Yn 2 13)
(put.Ai.value.Yn 1 12)
(call 14 hplan 6 pprint)
(put.Ai.variable.Yn 6 8)
(put.Ai.unsafe.Yn 5 11)
(put.Ai.variable.Yn 4 7)
(put.Ai.unsafe.Yn 3 10)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 12 open←strct 6 pprint)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 4)
(put.Ai.unsafe.Yn 4 8)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 7)
(put.Ai.value.Yn 1 6)
(call 8 hseq 6 pprint)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.unsafe.Yn 2 3)
(put.Ai.symbol 1 %))
(call 5 close←vert←strct 5 pprint)
(put.Ai.unsafe.Yn 1 2)
(get.Ai.list 1)
(unify.symbol %>)
(unify.local.Yn 1)
(progress)
)
(ASSEMBLE.CLAUSE ( vplan 6 pprint ) 94
(allocate)
(get.Ai.variable.Yn 2 15)
(get.Ai.variable.Yn 3 1)
(get.Ai.variable.Yn 5 5)
(get.Ai.variable.Yn 6 16)
(put.Ai.list 2)
(unify.variable.Yn 12)
(unify.variable.Yn 6)
(call 19 %=%.%. 2 si)
(load.value.Yn 16)
(add.neg.word -1)
(store.variable.Yn 9)
(put.Ai.variable.Yn 3 14)
(put.Ai.variable.Yn 2 13)
(put.Ai.value.Yn 1 15)
(call 17 fold 3 pprint)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 11)
(put.Ai.unsafe.Yn 4 14)
(put.Ai.variable.Yn 3 10)
(put.Ai.unsafe.Yn 2 13)
(put.Ai.value.Yn 1 12)
(call 14 vplan 6 pprint)
(put.Ai.variable.Yn 6 8)
(put.Ai.unsafe.Yn 5 11)
(put.Ai.variable.Yn 4 7)
(put.Ai.unsafe.Yn 3 10)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 12 open←strct 6 pprint)
(put.Ai.value.Yn 6 9)
(put.Ai.variable.Yn 5 4)
(put.Ai.unsafe.Yn 4 8)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 7)
(put.Ai.value.Yn 1 6)
(call 8 vseq 6 pprint)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.unsafe.Yn 2 3)
(put.Ai.symbol 1 %))
(call 5 lock←vert←strct 5 pprint)
(put.Ai.unsafe.Yn 1 2)
(get.Ai.list 1)
(unify.symbol %>)
(unify.local.Yn 1)
(progress)
)
(ASSEMBLE.CLAUSE ( hseq 6 pprint ) 8
(get.Ai.constant 1 NIL)
(get.Ai.value.Xn 3 2)
(get.Ai.value.Xn 5 4)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( hseq 6 pprint ) 61
(get.Ai.list 1)
(allocate)
(unify.variable.Yn 8)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 2 9)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 10)
(get.Ai.variable.Yn 5 5)
(get.Ai.variable.Yn 6 11)
(put.Ai.value.Yn 1 1)
(is.a 1)
(body.cut)
(put.Ai.value.Yn 6 11)
(put.Ai.variable.Yn 5 7)
(put.Ai.value.Yn 4 10)
(put.Ai.variable.Yn 3 6)
(put.Ai.value.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 hplan 6 pprint)
(put.Ai.variable.Yn 6 4)
(put.Ai.unsafe.Yn 5 7)
(put.Ai.variable.Yn 4 2)
(put.Ai.unsafe.Yn 3 6)
(put.Ai.symbol 2 %|)
(put.Ai.constant 1 1)
(call 8 push←fence 6 pprint)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart push←atom 5 pprint)
)
(ASSEMBLE.CLAUSE ( hseq 6 pprint ) 6
(get.Ai.list 1)
(unify.variable.Xn 1)
(unify.nil)
(head.cut)
(execute hplan 6 pprint)
)
(ASSEMBLE.CLAUSE ( hseq 6 pprint ) 49
(get.Ai.list 1)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 5 5)
(get.Ai.variable.Yn 6 6)
(put.Ai.value.Yn 6 6)
(put.Ai.variable.Yn 5 8)
(put.Ai.variable.Yn 3 7)
(call 11 hplan 6 pprint)
(put.Ai.variable.Yn 6 4)
(put.Ai.unsafe.Yn 5 8)
(put.Ai.variable.Yn 4 2)
(put.Ai.unsafe.Yn 3 7)
(put.Ai.symbol 2 %,% )
(put.Ai.constant 1 2)
(call 9 push←fence 6 pprint)
(put.Ai.value.Yn 6 6)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart hseq 6 pprint)
)
(ASSEMBLE.CLAUSE ( vseq 6 pprint ) 8
(get.Ai.constant 1 NIL)
(get.Ai.value.Xn 3 2)
(get.Ai.value.Xn 5 4)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( vseq 6 pprint ) 72
(get.Ai.list 1)
(allocate)
(unify.variable.Yn 10)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 2 11)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 8)
(get.Ai.variable.Yn 5 5)
(get.Ai.variable.Yn 6 12)
(put.Ai.value.Yn 1 1)
(is.a 1)
(body.cut)
(put.Ai.value.Yn 6 12)
(put.Ai.void 5)
(put.Ai.value.Yn 4 8)
(put.Ai.variable.Yn 3 9)
(put.Ai.value.Yn 2 11)
(put.Ai.value.Yn 1 10)
(call 12 vplan 6 pprint)
(put.Ai.variable.Yn 4 7)
(put.Ai.variable.Yn 3 6)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←nltab 4 pprint)
(body.cut)
(put.Ai.variable.Yn 6 4)
(put.Ai.unsafe.Yn 5 7)
(put.Ai.variable.Yn 4 2)
(put.Ai.unsafe.Yn 3 6)
(put.Ai.symbol 2 %|)
(put.Ai.constant 1 1)
(call 8 push←fence 6 pprint)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart push←atom 5 pprint)
)
(ASSEMBLE.CLAUSE ( vseq 6 pprint ) 6
(get.Ai.list 1)
(unify.variable.Xn 1)
(unify.nil)
(head.cut)
(execute vplan 6 pprint)
)
(ASSEMBLE.CLAUSE ( vseq 6 pprint ) 64
(get.Ai.list 1)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 7)
(get.Ai.variable.Yn 5 5)
(get.Ai.variable.Yn 6 6)
(put.Ai.value.Yn 6 6)
(put.Ai.variable.Yn 5 10)
(put.Ai.value.Yn 4 7)
(put.Ai.variable.Yn 3 9)
(call 13 vplan 6 pprint)
(put.Ai.void 6)
(put.Ai.unsafe.Yn 5 10)
(put.Ai.variable.Yn 4 8)
(put.Ai.unsafe.Yn 3 9)
(put.Ai.symbol 2 %,% )
(put.Ai.constant 1 2)
(call 11 push←fence 6 pprint)
(put.Ai.variable.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.unsafe.Yn 2 8)
(put.Ai.value.Yn 1 7)
(call 9 push←nltab 4 pprint)
(body.cut)
(put.Ai.value.Yn 6 6)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart vseq 6 pprint)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 66
(get.Ai.constant 1 fx)
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.value.Xn 1 3)
(get.Ai.variable.Yn 4 8)
(put.Ai.value.Xn 2 5)
(get.Ai.variable.Yn 6 4)
(put.Ai.value.Xn 4 7)
(get.Ai.variable.Yn 8 5)
(get.Ai.variable.Yn 9 6)
(put.Ai.variable.Yn 5 7)
(put.Ai.variable.Yn 3 3)
(call 11 push←op 5 pprint)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 8)
(put.Ai.constant 1 1)
(arg)
(put.Ai.unsafe.Yn 1 7)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.void 3)
(put.Ai.value.Xn 5 3)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 7 6)
(put.Ai.value.Yn 6 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart hXarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 66
(get.Ai.constant 1 fy)
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.value.Xn 1 3)
(get.Ai.variable.Yn 4 8)
(put.Ai.value.Xn 2 5)
(get.Ai.variable.Yn 6 4)
(put.Ai.value.Xn 4 7)
(get.Ai.variable.Yn 8 5)
(get.Ai.variable.Yn 9 6)
(put.Ai.variable.Yn 5 7)
(put.Ai.variable.Yn 3 3)
(call 11 push←op 5 pprint)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 8)
(put.Ai.constant 1 1)
(arg)
(put.Ai.unsafe.Yn 1 7)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.void 3)
(put.Ai.value.Xn 5 3)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 7 6)
(put.Ai.value.Yn 6 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart hYarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 73
(get.Ai.constant 1 xf)
(allocate)
(get.Ai.variable.Yn 2 8)
(get.Ai.variable.Yn 3 3)
(put.Ai.value.Xn 2 4)
(get.Ai.variable.Yn 5 9)
(get.Ai.variable.Yn 6 5)
(get.Ai.variable.Yn 7 10)
(get.Ai.variable.Yn 8 1)
(get.Ai.variable.Yn 9 11)
(put.Ai.variable.Yn 3 7)
(put.Ai.constant 1 1)
(arg)
(put.Ai.value.Yn 7 11)
(put.Ai.variable.Yn 6 6)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 4)
(put.Ai.value.Yn 3 9)
(put.Ai.value.Yn 2 8)
(put.Ai.unsafe.Yn 1 7)
(call 9 hXarg 7 pprint)
(put.Ai.variable.Yn 5 2)
(put.Ai.unsafe.Yn 4 6)
(put.Ai.value.Yn 3 5)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 5 push←op 5 pprint)
(put.Ai.unsafe.Yn 1 2)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 3 1)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(progress)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 73
(get.Ai.constant 1 yf)
(allocate)
(get.Ai.variable.Yn 2 8)
(get.Ai.variable.Yn 3 3)
(put.Ai.value.Xn 2 4)
(get.Ai.variable.Yn 5 9)
(get.Ai.variable.Yn 6 5)
(get.Ai.variable.Yn 7 10)
(get.Ai.variable.Yn 8 1)
(get.Ai.variable.Yn 9 11)
(put.Ai.variable.Yn 3 7)
(put.Ai.constant 1 1)
(arg)
(put.Ai.value.Yn 7 11)
(put.Ai.variable.Yn 6 6)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 4)
(put.Ai.value.Yn 3 9)
(put.Ai.value.Yn 2 8)
(put.Ai.unsafe.Yn 1 7)
(call 9 hYarg 7 pprint)
(put.Ai.variable.Yn 5 2)
(put.Ai.unsafe.Yn 4 6)
(put.Ai.value.Yn 3 5)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 5 push←op 5 pprint)
(put.Ai.unsafe.Yn 1 2)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 3 1)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(progress)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 82
(get.Ai.constant 1 xfx)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 8)
(get.Ai.variable.Yn 4 14)
(get.Ai.variable.Yn 5 12)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 13)
(get.Ai.variable.Yn 8 6)
(get.Ai.variable.Yn 9 7)
(put.Ai.variable.Yn 3 11)
(put.Ai.value.Yn 2 14)
(put.Ai.constant 1 1)
(arg)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 14)
(put.Ai.constant 1 2)
(arg)
(put.Ai.value.Yn 7 7)
(put.Ai.variable.Yn 6 10)
(put.Ai.value.Yn 5 13)
(put.Ai.variable.Yn 4 9)
(put.Ai.value.Yn 3 12)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 11)
(call 13 hXarg 7 pprint)
(put.Ai.variable.Yn 5 5)
(put.Ai.unsafe.Yn 4 10)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←op 5 pprint)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart hXarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 82
(get.Ai.constant 1 yfx)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 8)
(get.Ai.variable.Yn 4 14)
(get.Ai.variable.Yn 5 12)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 13)
(get.Ai.variable.Yn 8 6)
(get.Ai.variable.Yn 9 7)
(put.Ai.variable.Yn 3 11)
(put.Ai.value.Yn 2 14)
(put.Ai.constant 1 1)
(arg)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 14)
(put.Ai.constant 1 2)
(arg)
(put.Ai.value.Yn 7 7)
(put.Ai.variable.Yn 6 10)
(put.Ai.value.Yn 5 13)
(put.Ai.variable.Yn 4 9)
(put.Ai.value.Yn 3 12)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 11)
(call 13 hYarg 7 pprint)
(put.Ai.variable.Yn 5 5)
(put.Ai.unsafe.Yn 4 10)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←op 5 pprint)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart hXarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( hoper 9 pprint ) 82
(get.Ai.constant 1 xfy)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 8)
(get.Ai.variable.Yn 4 14)
(get.Ai.variable.Yn 5 12)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 13)
(get.Ai.variable.Yn 8 6)
(get.Ai.variable.Yn 9 7)
(put.Ai.variable.Yn 3 11)
(put.Ai.value.Yn 2 14)
(put.Ai.constant 1 1)
(arg)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 14)
(put.Ai.constant 1 2)
(arg)
(put.Ai.value.Yn 7 7)
(put.Ai.variable.Yn 6 10)
(put.Ai.value.Yn 5 13)
(put.Ai.variable.Yn 4 9)
(put.Ai.value.Yn 3 12)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 11)
(call 13 hXarg 7 pprint)
(put.Ai.variable.Yn 5 5)
(put.Ai.unsafe.Yn 4 10)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←op 5 pprint)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart hYarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 66
(get.Ai.constant 1 fx)
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.value.Xn 1 3)
(get.Ai.variable.Yn 4 8)
(put.Ai.value.Xn 2 5)
(get.Ai.variable.Yn 6 4)
(put.Ai.value.Xn 4 7)
(get.Ai.variable.Yn 8 5)
(get.Ai.variable.Yn 9 6)
(put.Ai.variable.Yn 5 7)
(put.Ai.variable.Yn 3 3)
(call 11 push←op 5 pprint)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 8)
(put.Ai.constant 1 1)
(arg)
(put.Ai.unsafe.Yn 1 7)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.void 3)
(put.Ai.value.Xn 5 3)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 7 6)
(put.Ai.value.Yn 6 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart vXarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 66
(get.Ai.constant 1 fy)
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.value.Xn 1 3)
(get.Ai.variable.Yn 4 8)
(put.Ai.value.Xn 2 5)
(get.Ai.variable.Yn 6 4)
(put.Ai.value.Xn 4 7)
(get.Ai.variable.Yn 8 5)
(get.Ai.variable.Yn 9 6)
(put.Ai.variable.Yn 5 7)
(put.Ai.variable.Yn 3 3)
(call 11 push←op 5 pprint)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 8)
(put.Ai.constant 1 1)
(arg)
(put.Ai.unsafe.Yn 1 7)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.void 3)
(put.Ai.value.Xn 5 3)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 7 6)
(put.Ai.value.Yn 6 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart vYarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 73
(get.Ai.constant 1 xf)
(allocate)
(get.Ai.variable.Yn 2 8)
(get.Ai.variable.Yn 3 3)
(put.Ai.value.Xn 2 4)
(get.Ai.variable.Yn 5 9)
(get.Ai.variable.Yn 6 5)
(get.Ai.variable.Yn 7 10)
(get.Ai.variable.Yn 8 1)
(get.Ai.variable.Yn 9 11)
(put.Ai.variable.Yn 3 7)
(put.Ai.constant 1 1)
(arg)
(put.Ai.value.Yn 7 11)
(put.Ai.variable.Yn 6 6)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 4)
(put.Ai.value.Yn 3 9)
(put.Ai.value.Yn 2 8)
(put.Ai.unsafe.Yn 1 7)
(call 9 vXarg 7 pprint)
(put.Ai.variable.Yn 5 2)
(put.Ai.unsafe.Yn 4 6)
(put.Ai.value.Yn 3 5)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 5 push←op 5 pprint)
(put.Ai.unsafe.Yn 1 2)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 3 1)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(progress)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 73
(get.Ai.constant 1 yf)
(allocate)
(get.Ai.variable.Yn 2 8)
(get.Ai.variable.Yn 3 3)
(put.Ai.value.Xn 2 4)
(get.Ai.variable.Yn 5 9)
(get.Ai.variable.Yn 6 5)
(get.Ai.variable.Yn 7 10)
(get.Ai.variable.Yn 8 1)
(get.Ai.variable.Yn 9 11)
(put.Ai.variable.Yn 3 7)
(put.Ai.constant 1 1)
(arg)
(put.Ai.value.Yn 7 11)
(put.Ai.variable.Yn 6 6)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 4)
(put.Ai.value.Yn 3 9)
(put.Ai.value.Yn 2 8)
(put.Ai.unsafe.Yn 1 7)
(call 9 vYarg 7 pprint)
(put.Ai.variable.Yn 5 2)
(put.Ai.unsafe.Yn 4 6)
(put.Ai.value.Yn 3 5)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 5 push←op 5 pprint)
(put.Ai.unsafe.Yn 1 2)
(get.Ai.structure 1 context 3)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(unify.void 1)
(put.Ai.value.Yn 3 1)
(get.Ai.structure 3 context 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(unify.void 1)
(progress)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 104
(get.Ai.constant 1 xfx)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 10)
(get.Ai.variable.Yn 4 16)
(get.Ai.variable.Yn 5 15)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(get.Ai.variable.Yn 8 6)
(get.Ai.variable.Yn 9 7)
(put.Ai.variable.Yn 3 14)
(put.Ai.value.Yn 2 16)
(put.Ai.constant 1 1)
(arg)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 16)
(put.Ai.constant 1 2)
(arg)
(put.Ai.value.Yn 7 7)
(put.Ai.void 6)
(put.Ai.value.Yn 5 8)
(put.Ai.variable.Yn 4 13)
(put.Ai.value.Yn 3 15)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 14)
(call 16 vXarg 7 pprint)
(put.Ai.variable.Yn 4 12)
(put.Ai.variable.Yn 3 11)
(put.Ai.unsafe.Yn 2 13)
(put.Ai.value.Yn 1 8)
(call 15 push←nltab 4 pprint)
(body.cut)
(put.Ai.void 5)
(put.Ai.unsafe.Yn 4 12)
(put.Ai.variable.Yn 3 9)
(put.Ai.unsafe.Yn 2 11)
(put.Ai.value.Yn 1 10)
(call 12 push←op 5 pprint)
(put.Ai.variable.Yn 4 5)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←nltab 4 pprint)
(body.cut)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart vXarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 104
(get.Ai.constant 1 xfy)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 10)
(get.Ai.variable.Yn 4 16)
(get.Ai.variable.Yn 5 15)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(get.Ai.variable.Yn 8 6)
(get.Ai.variable.Yn 9 7)
(put.Ai.variable.Yn 3 14)
(put.Ai.value.Yn 2 16)
(put.Ai.constant 1 1)
(arg)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 16)
(put.Ai.constant 1 2)
(arg)
(put.Ai.value.Yn 7 7)
(put.Ai.void 6)
(put.Ai.value.Yn 5 8)
(put.Ai.variable.Yn 4 13)
(put.Ai.value.Yn 3 15)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 14)
(call 16 vXarg 7 pprint)
(put.Ai.variable.Yn 4 12)
(put.Ai.variable.Yn 3 11)
(put.Ai.unsafe.Yn 2 13)
(put.Ai.value.Yn 1 8)
(call 15 push←nltab 4 pprint)
(body.cut)
(put.Ai.void 5)
(put.Ai.unsafe.Yn 4 12)
(put.Ai.variable.Yn 3 9)
(put.Ai.unsafe.Yn 2 11)
(put.Ai.value.Yn 1 10)
(call 12 push←op 5 pprint)
(put.Ai.variable.Yn 4 5)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←nltab 4 pprint)
(body.cut)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart vYarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( voper 9 pprint ) 104
(get.Ai.constant 1 yfx)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 10)
(get.Ai.variable.Yn 4 16)
(get.Ai.variable.Yn 5 15)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(get.Ai.variable.Yn 8 6)
(get.Ai.variable.Yn 9 7)
(put.Ai.variable.Yn 3 14)
(put.Ai.value.Yn 2 16)
(put.Ai.constant 1 1)
(arg)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 16)
(put.Ai.constant 1 2)
(arg)
(put.Ai.value.Yn 7 7)
(put.Ai.void 6)
(put.Ai.value.Yn 5 8)
(put.Ai.variable.Yn 4 13)
(put.Ai.value.Yn 3 15)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 14)
(call 16 vYarg 7 pprint)
(put.Ai.variable.Yn 4 12)
(put.Ai.variable.Yn 3 11)
(put.Ai.unsafe.Yn 2 13)
(put.Ai.value.Yn 1 8)
(call 15 push←nltab 4 pprint)
(body.cut)
(put.Ai.void 5)
(put.Ai.unsafe.Yn 4 12)
(put.Ai.variable.Yn 3 9)
(put.Ai.unsafe.Yn 2 11)
(put.Ai.value.Yn 1 10)
(call 12 push←op 5 pprint)
(put.Ai.variable.Yn 4 5)
(put.Ai.variable.Yn 3 3)
(put.Ai.unsafe.Yn 2 9)
(put.Ai.value.Yn 1 8)
(call 10 push←nltab 4 pprint)
(body.cut)
(put.Ai.value.Yn 7 7)
(put.Ai.value.Yn 6 6)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart vXarg 7 pprint)
)
(ASSEMBLE.CLAUSE ( hXarg 7 pprint ) 71
(allocate)
(get.Ai.variable.Yn 1 5)
(get.Ai.variable.Yn 2 11)
(get.Ai.variable.Yn 3 9)
(get.Ai.variable.Yn 4 2)
(get.Ai.variable.Yn 5 10)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(put.Ai.variable.Yn 4 12)
(put.Ai.void 3)
(put.Ai.void 2)
(put.Ai.value.Yn 1 5)
(call 15 opdata 4 pprint)
(load.value.Yn 12)
(load.value.Yn 11)
(not.less.than)
(body.cut)
(put.Ai.variable.Yn 6 7)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.value.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 2)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 hplan 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart close←horz←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( hXarg 7 pprint ) 12
(put.Ai.value.Xn 2 3)
(put.Ai.value.Xn 3 4)
(put.Ai.value.Xn 4 5)
(put.Ai.value.Xn 5 6)
(put.Ai.value.Xn 6 7)
(execute hplan 6 pprint)
)
(ASSEMBLE.CLAUSE ( vXarg 7 pprint ) 71
(allocate)
(get.Ai.variable.Yn 1 5)
(get.Ai.variable.Yn 2 11)
(get.Ai.variable.Yn 3 9)
(get.Ai.variable.Yn 4 2)
(get.Ai.variable.Yn 5 10)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(put.Ai.variable.Yn 4 12)
(put.Ai.void 3)
(put.Ai.void 2)
(put.Ai.value.Yn 1 5)
(call 15 opdata 4 pprint)
(load.value.Yn 12)
(load.value.Yn 11)
(not.less.than)
(body.cut)
(put.Ai.variable.Yn 6 7)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.value.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 vplan 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart lock←vert←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( vXarg 7 pprint ) 12
(put.Ai.value.Xn 2 3)
(put.Ai.value.Xn 3 4)
(put.Ai.value.Xn 4 5)
(put.Ai.value.Xn 5 6)
(put.Ai.value.Xn 6 7)
(execute vplan 6 pprint)
)
(ASSEMBLE.CLAUSE ( hYarg 7 pprint ) 71
(allocate)
(get.Ai.variable.Yn 1 5)
(get.Ai.variable.Yn 2 11)
(get.Ai.variable.Yn 3 9)
(get.Ai.variable.Yn 4 2)
(get.Ai.variable.Yn 5 10)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(put.Ai.variable.Yn 4 12)
(put.Ai.void 3)
(put.Ai.void 2)
(put.Ai.value.Yn 1 5)
(call 15 opdata 4 pprint)
(load.value.Yn 12)
(load.value.Yn 11)
(greater.than)
(body.cut)
(put.Ai.variable.Yn 6 7)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.value.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 2)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 hplan 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart close←horz←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( hYarg 7 pprint ) 12
(put.Ai.value.Xn 2 3)
(put.Ai.value.Xn 3 4)
(put.Ai.value.Xn 4 5)
(put.Ai.value.Xn 5 6)
(put.Ai.value.Xn 6 7)
(execute hplan 6 pprint)
)
(ASSEMBLE.CLAUSE ( vYarg 7 pprint ) 71
(allocate)
(get.Ai.variable.Yn 1 5)
(get.Ai.variable.Yn 2 11)
(get.Ai.variable.Yn 3 9)
(get.Ai.variable.Yn 4 2)
(get.Ai.variable.Yn 5 10)
(get.Ai.variable.Yn 6 4)
(get.Ai.variable.Yn 7 8)
(put.Ai.variable.Yn 4 12)
(put.Ai.void 3)
(put.Ai.void 2)
(put.Ai.value.Yn 1 5)
(call 15 opdata 4 pprint)
(load.value.Yn 12)
(load.value.Yn 11)
(greater.than)
(body.cut)
(put.Ai.variable.Yn 6 7)
(put.Ai.value.Yn 5 10)
(put.Ai.variable.Yn 4 6)
(put.Ai.value.Yn 3 9)
(put.Ai.symbol 2 %()
(put.Ai.constant 1 1)
(call 11 open←strct 6 pprint)
(put.Ai.value.Yn 6 8)
(put.Ai.variable.Yn 5 3)
(put.Ai.unsafe.Yn 4 7)
(put.Ai.variable.Yn 3 1)
(put.Ai.unsafe.Yn 2 6)
(put.Ai.value.Yn 1 5)
(call 7 vplan 6 pprint)
(put.Ai.value.Yn 5 4)
(put.Ai.unsafe.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.symbol 1 %))
(depart lock←vert←strct 5 pprint)
)
(ASSEMBLE.CLAUSE ( vYarg 7 pprint ) 12
(put.Ai.value.Xn 2 3)
(put.Ai.value.Xn 3 4)
(put.Ai.value.Xn 4 5)
(put.Ai.value.Xn 5 6)
(put.Ai.value.Xn 6 7)
(execute vplan 6 pprint)
)
(ASSEMBLE.CLAUSE ( dump 2 pprint ) 4
(get.Ai.constant 1 NIL)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( dump 2 pprint ) 5
(get.Ai.list 1)
(unify.variable.Xn 1)
(unify.variable.Xn 3)
(execute out 3 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 22
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 1 3)
(is.a 1)
(body.cut)
(put.Ai.value.Yn 1 3)
(call 5 writeq 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 27
(get.Ai.constant 1 %,% )
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(load.pos.word 44)
(store.variable.Xn 1)
(call 5 put 1 si)
(load.pos.word 32)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 21
(get.Ai.constant 1 %[)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(load.pos.word 91)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 21
(get.Ai.constant 1 %])
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(load.pos.word 93)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 21
(get.Ai.constant 1 %()
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(load.pos.word 40)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 21
(get.Ai.constant 1 %))
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(load.pos.word 41)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 21
(get.Ai.constant 1 % )
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(load.pos.word 32)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 17
(get.Ai.structure 1 tab 1)
(unify.variable.Xn 1)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(is.a 1)
(body.cut)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 19
(get.Ai.structure 1 tab 1)
(unify.variable.Xn 1)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 5 tab 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 33
(get.Ai.structure 1 nltab 1)
(allocate)
(unify.variable.Yn 2)
(get.Ai.symbol 2 %>)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 5 nl 0 si)
(put.Ai.constant 1 62)
(call 5 arrows 1 pprint)
(call 5 nl 0 si)
(put.Ai.value.Yn 1 2)
(call 4 tab 1 si)
(put.Ai.symbol 2 no%>)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 24
(get.Ai.structure 1 nltab 1)
(allocate)
(unify.variable.Yn 2)
(get.Ai.symbol 2 no%>)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 5 nl 0 si)
(put.Ai.value.Yn 1 2)
(call 4 tab 1 si)
(put.Ai.symbol 2 no%>)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 27
(get.Ai.constant 1 nl)
(get.Ai.symbol 2 %>)
(allocate)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 4 nl 0 si)
(put.Ai.constant 1 62)
(call 4 arrows 1 pprint)
(call 4 nl 0 si)
(put.Ai.symbol 2 no%>)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 18
(get.Ai.constant 1 nl)
(get.Ai.symbol 2 no%>)
(allocate)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 4 nl 0 si)
(put.Ai.symbol 2 no%>)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 12
(get.Ai.constant 1 %<)
(get.Ai.symbol 2 %>)
(put.Ai.value.Xn 1 3)
(head.cut)
(put.Ai.symbol 2 no%>)
(execute dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 27
(get.Ai.constant 1 %<)
(get.Ai.symbol 2 no%>)
(allocate)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 4 nl 0 si)
(put.Ai.constant 1 60)
(call 4 arrows 1 pprint)
(call 4 nl 0 si)
(put.Ai.symbol 2 no%>)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 27
(get.Ai.constant 1 %>)
(get.Ai.symbol 2 %>)
(allocate)
(get.Ai.variable.Yn 3 1)
(head.cut)
(call 4 nl 0 si)
(put.Ai.constant 1 62)
(call 4 arrows 1 pprint)
(call 4 nl 0 si)
(put.Ai.symbol 2 %>)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 12
(get.Ai.constant 1 %>)
(get.Ai.symbol 2 no%>)
(put.Ai.value.Xn 1 3)
(head.cut)
(put.Ai.symbol 2 %>)
(execute dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( out 3 pprint ) 14
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 1)
(call 5 writeq 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart dump 2 pprint)
)
(ASSEMBLE.CLAUSE ( arrows 1 pprint ) 35
(allocate)
(get.Ai.variable.Yn 1 2)
(put.Ai.variable.Yn 1 3)
(call 6 pagewidth 1 pprint)
(load.value.Yn 3)
(load.pos.word 2)
(integer.divide)
(store.variable.Xn 1)
(load.value.Xn 1)
(add.neg.word -1)
(store.variable.Yn 1)
(load.pos.word 37)
(store.variable.Xn 1)
(call 5 put 1 si)
(load.pos.word 32)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart put←arrows 2 pprint)
)
(ASSEMBLE.CLAUSE ( put←arrows 2 pprint ) 4
(get.Ai.constant 1 0)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( put←arrows 2 pprint ) 24
(allocate)
(get.Ai.variable.Yn 2 2)
(load.value.Xn 1)
(add.neg.word -1)
(store.variable.Yn 1)
(put.Ai.value.Yn 1 2)
(call 5 put 1 si)
(load.pos.word 32)
(store.variable.Xn 1)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart put←arrows 2 pprint)
)
(ASSEMBLE.CLAUSE ( push←nltab 4 pprint ) 22
(get.Ai.structure 1 context 3)
(unify.variable.Xn 1)
(unify.void 2)
(get.Ai.list 2)
(unify.variable.Xn 5)
(unify.variable.Xn 2)
(get.Ai.structure 5 nltab 1)
(unify.value.Xn 1)
(get.Ai.value.Xn 3 2)
(get.Ai.structure 4 context 3)
(unify.value.Xn 1)
(unify.symbol fence)
(unify.void 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( fold 3 pprint ) 16
(get.Ai.list 1)
(unify.symbol %<)
(unify.variable.Xn 1)
(get.Ai.value.Xn 2 1)
(get.Ai.structure 3 context 3)
(unify.constant 0)
(unify.symbol fence)
(unify.void 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( open←strct 6 pprint ) 77
(allocate)
(get.Ai.variable.Yn 1 6)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 1)
(get.Ai.structure 5 context 3)
(unify.variable.Yn 7)
(unify.void 1)
(unify.variable.Yn 8)
(get.Ai.structure 6 context 3)
(unify.variable.Yn 5)
(unify.symbol fence)
(unify.void 1)
(put.Ai.variable.Yn 1 4)
(call 11 pagewidth 1 pprint)
(load.choice.point)
(store.variable.Xn 1)
(either 11 54)
(put.Ai.value.Yn 2 8)
(get.Ai.constant 2 0)
(load.value.Xn 1)
(cut.to.choice.point)
(load.value.Yn 7)
(load.value.Yn 6)
(add)
(store.value.Yn 5)
(load.value.Yn 5)
(load.value.Yn 4)
(not.greater.than)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
;54
(or.finally)
(load.value.Yn 8)
(load.pos.word 1)
(equal.to.else 78)
(load.value.Yn 7)
(load.value.Yn 6)
(add)
(add.pos.word 1)
(store.value.Yn 5)
(load.value.Yn 5)
(load.value.Yn 4)
(not.greater.than)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.symbol % )
(unify.list)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
;78
(fail)
)
(ASSEMBLE.CLAUSE ( close←horz←strct 5 pprint ) 18
(get.Ai.list 2)
(unify.local.Xn 1)
(unify.variable.Xn 1)
(get.Ai.value.Xn 3 1)
(get.Ai.structure 4 context 3)
(unify.variable.Xn 1)
(unify.void 2)
(get.Ai.structure 5 context 3)
(unify.value.Xn 1)
(unify.symbol fence)
(unify.void 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( close←vert←strct 5 pprint ) 31
(get.Ai.list 2)
(unify.local.Xn 1)
(unify.variable.Xn 1)
(get.Ai.value.Xn 3 1)
(get.Ai.structure 4 context 3)
(allocate)
(unify.variable.Yn 3)
(unify.void 2)
(get.Ai.structure 5 context 3)
(unify.variable.Yn 2)
(unify.symbol fence)
(unify.void 1)
(put.Ai.variable.Yn 1 1)
(call 6 pagewidth 1 pprint)
(load.value.Yn 3)
(add.pos.word 1)
(store.value.Yn 2)
(load.value.Yn 2)
(load.value.Yn 1)
(not.greater.than)
(progress)
)
(ASSEMBLE.CLAUSE ( lock←vert←strct 5 pprint ) 31
(get.Ai.list 2)
(unify.local.Xn 1)
(unify.variable.Xn 1)
(get.Ai.value.Xn 3 1)
(get.Ai.structure 4 context 3)
(allocate)
(unify.variable.Yn 3)
(unify.void 2)
(get.Ai.structure 5 context 3)
(unify.variable.Yn 2)
(unify.symbol fence)
(unify.void 1)
(put.Ai.variable.Yn 1 1)
(call 6 pagewidth 1 pprint)
(load.value.Yn 3)
(add.pos.word 1)
(store.value.Yn 2)
(load.value.Yn 2)
(load.value.Yn 1)
(not.greater.than)
(progress)
)
(ASSEMBLE.CLAUSE ( lock←vert←strct 5 pprint ) 18
(get.Ai.list 2)
(unify.symbol nl)
(unify.list)
(unify.local.Xn 1)
(unify.variable.Xn 1)
(get.Ai.value.Xn 3 1)
(get.Ai.structure 5 context 3)
(unify.constant 1)
(unify.symbol fence)
(unify.void 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( push←fence 6 pprint ) 33
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.list 3)
(unify.local.Xn 2)
(unify.variable.Xn 1)
(get.Ai.value.Xn 4 1)
(get.Ai.structure 5 context 3)
(unify.variable.Yn 4)
(unify.void 2)
(get.Ai.structure 6 context 3)
(unify.variable.Yn 2)
(unify.symbol fence)
(unify.void 1)
(put.Ai.variable.Yn 1 1)
(call 7 pagewidth 1 pprint)
(load.value.Yn 4)
(load.value.Yn 3)
(add)
(store.value.Yn 2)
(load.value.Yn 2)
(load.value.Yn 1)
(not.greater.than)
(progress)
)
(ASSEMBLE.CLAUSE ( push←op 5 pprint ) 110
(allocate)
(get.Ai.variable.Yn 1 2)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 1)
(get.Ai.structure 4 context 3)
(unify.variable.Yn 12)
(unify.variable.Yn 9)
(unify.void 1)
(get.Ai.structure 5 context 3)
(unify.variable.Yn 5)
(unify.variable.Yn 10)
(unify.variable.Yn 3)
(put.Ai.variable.Yn 1 7)
(call 15 pagewidth 1 pprint)
(put.Ai.variable.Yn 2 11)
(put.Ai.value.Yn 1 2)
(call 15 leng 2 pprint)
(load.value.Yn 11)
(load.value.Yn 7)
(greater.than.else 56)
(load.value.Yn 12)
(store.value.Yn 5)
(put.Ai.value.Yn 1 10)
(get.Ai.constant 1 fence)
(put.Ai.value.Yn 1 4)
(get.Ai.list 1)
(unify.symbol %<)
(unify.list)
(unify.local.Yn 2)
(unify.list)
(unify.symbol %>)
(unify.local.Yn 1)
(progress)
;56
(load.value.Yn 12)
(load.value.Yn 11)
(add)
(store.variable.Yn 6)
(load.value.Yn 6)
(load.value.Yn 7)
(not.greater.than)
(put.Ai.value.Yn 2 10)
(put.Ai.value.Yn 1 2)
(call 13 myname 2 pprint)
(load.choice.point)
(store.variable.Yn 8)
(either 13 96)
(put.Ai.value.Yn 2 10)
(put.Ai.value.Yn 1 9)
(call 11 space 2 pprint)
(load.value.Yn 8)
(cut.to.choice.point)
(load.value.Yn 6)
(add.pos.word 1)
(store.value.Yn 5)
(load.value.Yn 5)
(load.value.Yn 7)
(not.greater.than)
(load.pos.word 1)
(store.value.Yn 3)
(jump.to 99)
;96
(or.finally)
(load.value.Yn 6)
(store.value.Yn 5)
;99
(put.Ai.value.Yn 1 4)
(get.Ai.list 1)
(unify.variable.Xn 2)
(unify.variable.Xn 1)
(get.Ai.structure 2 tab 1)
(unify.value.Yn 3)
(get.Ai.list 1)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
)
(ASSEMBLE.CLAUSE ( push←atom 5 pprint ) 162
(allocate)
(get.Ai.variable.Yn 1 2)
(get.Ai.variable.Yn 2 3)
(get.Ai.variable.Yn 3 1)
(get.Ai.structure 4 context 3)
(unify.variable.Yn 13)
(unify.variable.Yn 10)
(unify.variable.Yn 6)
(get.Ai.structure 5 context 3)
(unify.variable.Yn 4)
(unify.variable.Yn 11)
(unify.void 1)
(put.Ai.variable.Yn 1 7)
(call 16 pagewidth 1 pprint)
(put.Ai.variable.Yn 2 12)
(put.Ai.value.Yn 1 2)
(call 16 leng 2 pprint)
(load.value.Yn 12)
(load.value.Yn 7)
(greater.than.else 56)
(load.value.Yn 13)
(store.value.Yn 4)
(put.Ai.value.Yn 1 11)
(get.Ai.constant 1 fence)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.symbol %<)
(unify.list)
(unify.local.Yn 2)
(unify.list)
(unify.symbol %>)
(unify.local.Yn 1)
(progress)
;56
(load.value.Yn 13)
(load.value.Yn 12)
(add)
(store.variable.Yn 5)
(load.value.Yn 5)
(load.value.Yn 7)
(not.greater.than)
(load.choice.point)
(store.variable.Yn 8)
(either 14 125)
(put.Ai.value.Yn 1 6)
(is.a 1)
(load.value.Yn 8)
(cut.to.choice.point)
(put.Ai.value.Yn 2 11)
(put.Ai.value.Yn 1 2)
(call 14 myname 2 pprint)
(load.choice.point)
(store.variable.Yn 9)
(either 14 113)
(put.Ai.value.Yn 2 11)
(put.Ai.value.Yn 1 10)
(call 12 space 2 pprint)
(load.value.Yn 9)
(cut.to.choice.point)
(load.value.Yn 5)
(add.pos.word 2)
(store.value.Yn 4)
(load.value.Yn 4)
(load.value.Yn 7)
(not.greater.than)
(load.pos.word 1)
(store.value.Yn 6)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.symbol % )
(unify.list)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
;113
(or.finally)
(load.value.Yn 5)
(store.value.Yn 4)
(load.pos.word 0)
(store.value.Yn 6)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
;125
(or 149)
(load.value.Yn 6)
(load.pos.word 1)
(equal.to)
(load.value.Yn 8)
(cut.to.choice.point)
(load.value.Yn 5)
(add.pos.word 1)
(store.value.Yn 4)
(load.value.Yn 4)
(load.value.Yn 7)
(not.greater.than)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.symbol % )
(unify.list)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
;149
(or.finally)
(load.value.Yn 6)
(load.pos.word 0)
(equal.to.else 163)
(load.value.Yn 5)
(store.value.Yn 4)
(put.Ai.value.Yn 1 3)
(get.Ai.list 1)
(unify.local.Yn 2)
(unify.local.Yn 1)
(progress)
;163
(fail)
)
(ASSEMBLE.CLAUSE ( opdata 4 pprint ) 36
(allocate)
(get.Ai.variable.Yn 1 5)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 3)
(put.Ai.value.Yn 1 5)
(is.a 254)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 4)
(put.Ai.value.Yn 1 5)
(functor)
(put.Ai.value.Yn 3 4)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 3)
(call 5 current←op 3 si)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(call 3 aritytype 2 pprint)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 1)
(get.Ai.symbol 2 fx)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 1)
(get.Ai.symbol 2 fy)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 1)
(get.Ai.symbol 2 xf)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 1)
(get.Ai.symbol 2 yf)
(proceed)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 2)
(get.Ai.symbol 2 xfx)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 2)
(get.Ai.symbol 2 yfx)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( aritytype 2 pprint ) 6
(get.Ai.constant 1 2)
(get.Ai.symbol 2 xfy)
(proceed)
)
(ASSEMBLE.CLAUSE ( leng 2 pprint ) 34
(allocate)
(get.Ai.variable.Yn 1 5)
(get.Ai.variable.Yn 2 1)
(put.Ai.variable.Yn 1 4)
(call 8 current←output 1 si)
(put.Ai.variable.Yn 2 2)
(put.Ai.value.Yn 1 4)
(call 8 line←position 2 si)
(put.Ai.value.Yn 1 5)
(call 7 write 1 si)
(put.Ai.variable.Yn 2 3)
(put.Ai.unsafe.Yn 1 4)
(call 6 line←position 2 si)
(load.value.Yn 3)
(load.value.Yn 2)
(subtract)
(store.value.Yn 1)
(progress)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 quoted←name)
(get.Ai.symbol 2 quoted←name)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 quoted←name)
(get.Ai.symbol 2 symbol)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 quoted←name)
(get.Ai.symbol 2 word)
(proceed)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 symbol)
(get.Ai.symbol 2 quoted←name)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 symbol)
(get.Ai.symbol 2 symbol)
(proceed)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 word)
(get.Ai.symbol 2 quoted←name)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( space 2 pprint ) 6
(get.Ai.constant 1 word)
(get.Ai.symbol 2 word)
(proceed)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 5
(get.Ai.symbol 2 word)
(allocate)
(is.a 1)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 5
(get.Ai.symbol 2 integer)
(allocate)
(is.a 24)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 5
(get.Ai.symbol 2 word)
(allocate)
(is.a 32)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 6
(get.Ai.constant 1 NIL)
(get.Ai.symbol 2 word)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 6
(get.Ai.constant 1 %{%})
(get.Ai.symbol 2 word)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 15
(get.Ai.symbol 2 word)
(allocate)
(put.Ai.list 2)
(unify.variable.Yn 1)
(unify.nil)
(call 4 name 2 si)
(put.Ai.value.Yn 1 1)
(call 3 solo←char 1 pprint)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( myname 2 pprint ) 64
(allocate)
(get.Ai.variable.Yn 2 1)
(put.Ai.variable.Yn 2 5)
(call 8 name 2 si)
(put.Ai.variable.Yn 3 3)
(put.Ai.variable.Yn 2 4)
(put.Ai.unsafe.Yn 1 5)
(call 7 poll 3 pprint)
(body.cut)
(load.choice.point)
(store.variable.Yn 2)
(either 7 41)
(put.Ai.value.Yn 1 4)
(get.Ai.constant 1 yes)
(put.Ai.value.Yn 1 3)
(is.a 1)
(load.value.Yn 2)
(cut.to.choice.point)
(put.Ai.value.Yn 1 1)
(get.Ai.constant 1 symbol)
(progress)
;41
(or 59)
(put.Ai.unsafe.Yn 1 4)
(is.a 1)
(put.Ai.unsafe.Yn 1 3)
(get.Ai.constant 1 yes)
(load.value.Yn 2)
(cut.to.choice.point)
(put.Ai.value.Yn 1 1)
(get.Ai.constant 1 word)
(progress)
;59
(or.finally)
(put.Ai.value.Yn 1 1)
(get.Ai.constant 1 quoted←name)
(progress)
)
(ASSEMBLE.CLAUSE ( poll 3 pprint ) 4
(get.Ai.constant 1 NIL)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( poll 3 pprint ) 19
(get.Ai.list 1)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.symbol 2 yes)
(get.Ai.variable.Yn 3 2)
(call 5 symbol←char 1 pprint)
(body.cut)
(put.Ai.value.Yn 3 2)
(put.Ai.void 2)
(put.Ai.value.Yn 1 1)
(depart poll 3 pprint)
)
(ASSEMBLE.CLAUSE ( poll 3 pprint ) 8
(get.Ai.list 1)
(unify.void 1)
(unify.variable.Xn 1)
(get.Ai.symbol 3 yes)
(put.Ai.void 3)
(execute poll 3 pprint)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 35)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 36)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 38)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 42)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 43)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 45)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 46)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 47)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 58)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 60)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 61)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 62)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 63)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 64)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 92)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 94)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 96)
(proceed)
)
(ASSEMBLE.CLAUSE ( symbol←char 1 pprint ) 4
(get.Ai.constant 1 126)
(proceed)
)
(ASSEMBLE.CLAUSE ( solo←char 1 pprint ) 4
(get.Ai.constant 1 33)
(proceed)
)
(ASSEMBLE.CLAUSE ( solo←char 1 pprint ) 4
(get.Ai.constant 1 37)
(proceed)
)
(ASSEMBLE.CLAUSE ( solo←char 1 pprint ) 4
(get.Ai.constant 1 59)
(proceed)
)
STOP