(ASSEMBLE.CLAUSE ( display 1 si ) 9 (put.Ai.value.Xn 2 1) (put.Ai.constant 3 0) (put.Ai.symbol 1 user←output) (execute output←term 3 si) ) (ASSEMBLE.CLAUSE ( write←canonical 1 si ) 5 (put.Ai.constant 2 1) (execute output←term 2 si) ) (ASSEMBLE.CLAUSE ( write←canonical 2 si ) 5 (put.Ai.constant 3 1) (execute output←term 3 si) ) (ASSEMBLE.CLAUSE ( output←term 3 si ) 28 (allocate) (get.Ai.variable.Yn 1 4) (get.Ai.variable.Yn 2 2) (get.Ai.variable.Yn 3 3) (put.Ai.variable.Yn 1 1) (call 7 current←output 1 si) (put.Ai.value.Yn 1 4) (call 6 set←output 1 si) (put.Ai.value.Yn 2 3) (put.Ai.value.Yn 1 2) (call 4 output←term 2 si) (put.Ai.unsafe.Yn 1 1) (depart set←output 1 si) ) (ASSEMBLE.CLAUSE ( output←term 2 si ) 11 (allocate) (get.Ai.variable.Yn 1 1) (put.Ai.value.Yn 1 1) (is.a 1) (body.cut) (put.Ai.value.Yn 1 1) (depart put←token 1 si) ) (ASSEMBLE.CLAUSE ( output←term 2 si ) 15 (allocate) (get.Ai.variable.Yn 1 1) (get.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 1) (is.a 248) (body.cut) (put.Ai.value.Yn 2 2) (put.Ai.value.Yn 1 1) (depart output←atom 2 si) ) (ASSEMBLE.CLAUSE ( output←term 2 si ) 42 (allocate) (get.Ai.variable.Yn 1 2) (get.Ai.variable.Yn 2 3) (put.Ai.variable.Yn 3 1) (put.Ai.variable.Yn 2 4) (put.Ai.value.Yn 1 2) (functor) (put.Ai.value.Yn 2 3) (put.Ai.unsafe.Yn 1 4) (call 6 put←token 2 si) (load.pos.word 40) (store.variable.Xn 1) (call 6 put 1 si) (put.Ai.value.Yn 4 3) (put.Ai.value.Yn 3 2) (put.Ai.unsafe.Yn 2 1) (put.Ai.constant 1 1) (call 3 output←args 4 si) (load.pos.word 41) (store.variable.Xn 1) (depart put 1 si) ) (ASSEMBLE.CLAUSE ( output←atom 2 si ) 14 (get.Ai.constant 1 %.) (get.Ai.constant 2 1) (head.cut) (put.Ai.constant 2 0) (put.Ai.symbol 1 %'%.%') (execute put←token 2 si) ) (ASSEMBLE.CLAUSE ( output←atom 2 si ) 44 (allocate) (get.Ai.variable.Yn 1 1) (get.Ai.variable.Yn 2 2) (put.Ai.value.Yn 3 1) (put.Ai.variable.Yn 2 4) (put.Ai.variable.Yn 1 3) (call 7 current←op 3 si) (put.Ai.symbol 2 pre) (put.Ai.unsafe.Yn 1 4) (call 6 op←fixity 2 si) (load.value.Yn 3) (load.pos.word 1000) (not.less.than) (body.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) (call 3 put←token 2 si) (load.pos.word 41) (store.variable.Xn 1) (depart put 1 si) ) (ASSEMBLE.CLAUSE ( output←atom 2 si ) 2 (execute put←token 2 si) ) (ASSEMBLE.CLAUSE ( output←args 4 si ) 17 (get.Ai.value.Xn 2 1) (put.Ai.value.Xn 2 3) (allocate) (get.Ai.variable.Yn 4 2) (head.cut) (put.Ai.variable.Yn 3 1) (arg) (put.Ai.value.Yn 2 2) (put.Ai.unsafe.Yn 1 1) (depart output←term 2 si) ) (ASSEMBLE.CLAUSE ( output←args 4 si ) 41 (allocate) (get.Ai.variable.Yn 1 4) (get.Ai.variable.Yn 2 1) (get.Ai.variable.Yn 3 2) (get.Ai.variable.Yn 4 3) (put.Ai.variable.Yn 3 5) (put.Ai.value.Yn 2 2) (put.Ai.value.Yn 1 4) (arg) (put.Ai.value.Yn 2 3) (put.Ai.unsafe.Yn 1 5) (call 7 output←term 2 si) (load.pos.word 44) (store.variable.Xn 1) (call 7 put 1 si) (load.value.Yn 4) (add.pos.word 1) (store.variable.Xn 1) (put.Ai.value.Yn 4 3) (put.Ai.value.Yn 3 2) (put.Ai.value.Yn 2 1) (depart output←args 4 si) ) STOP