(ASSEMBLE.CLAUSE ( evaluate 2 si ) 14 (allocate) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 2) (call 5 eval←expression 2 si) (body.cut) (put.Ai.unsafe.Yn 1 2) (get.Ai.value.Yn 1 1) (progress) ) (ASSEMBLE.CLAUSE ( evaluate 2 si ) 13 (allocate) (put.Ai.variable.Yn 2 1) (call 4 transform←back←exp 2 interp) (put.Ai.unsafe.Yn 2 1) (put.Ai.constant 1 302) (depart nerror 2 si) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 4 (allocate) (is.a 1) (body.cut) (fail) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 14 (allocate) (get.Ai.variable.Yn 1 1) (get.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 1) (is.a 56) (body.cut) (put.Ai.value.Yn 1 2) (get.Ai.value.Yn 1 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 31 (get.Ai.structure 1 %$QP←variable 1) (allocate) (unify.variable.Yn 1) (get.Ai.variable.Yn 2 2) (head.cut) (load.choice.point) (store.variable.Yn 3) (either 6 25) (put.Ai.value.Yn 1 1) (is.a 56) (load.value.Yn 3) (cut.to.choice.point) (put.Ai.value.Yn 1 2) (get.Ai.value.Yn 1 1) (progress) (or.finally) (put.Ai.value.Yn 2 1) (put.Ai.constant 1 303) (depart nerror 2 si) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 5 (get.Ai.list 1) (unify.variable.Xn 1) (unify.nil) (execute eval←expression 2 si) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %+ 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (add) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %* 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (multiply) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %/ 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (divide) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %/%/ 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (integer.divide) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %- 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (subtract) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 mod 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (modulus) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 16 (get.Ai.structure 1 %- 1) (unify.variable.Xn 1) (allocate) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 2) (call 5 eval←expression 2 si) (load.value.Yn 2) (minus) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %/%\ 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (boolean.and) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %\%/ 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (boolean.or) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 16 (get.Ai.structure 1 %\ 1) (unify.variable.Xn 1) (allocate) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 2) (call 5 eval←expression 2 si) (load.value.Yn 2) (boolean.not) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %<%< 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (left.shift) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 25 (get.Ai.structure 1 %>%> 2) (unify.variable.Xn 1) (allocate) (unify.variable.Yn 4) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 3) (call 7 eval←expression 2 si) (put.Ai.variable.Yn 2 2) (put.Ai.value.Yn 1 4) (call 6 eval←expression 2 si) (load.value.Yn 3) (load.value.Yn 2) (right.shift) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 16 (get.Ai.structure 1 float 1) (unify.variable.Xn 1) (allocate) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 2) (call 5 eval←expression 2 si) (load.value.Yn 2) (float) (store.value.Yn 1) (progress) ) (ASSEMBLE.CLAUSE ( eval←expression 2 si ) 16 (get.Ai.structure 1 integer 1) (unify.variable.Xn 1) (allocate) (get.Ai.variable.Yn 2 1) (put.Ai.variable.Yn 2 2) (call 5 eval←expression 2 si) (load.value.Yn 2) (fix) (store.value.Yn 1) (progress) ) STOP