(ASSEMBLE.CLAUSE ( force←error←trap 0 interp ) 5
(load.pos.word 5)
(settopval QP%.TRACE%.STATE)
(proceed)
)
(ASSEMBLE.CLAUSE ( interpreter←debug←trap 5 interp ) 94
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 8)
(get.Ai.variable.Yn 4 5)
(get.Ai.variable.Yn 5 2)
(gettopval QP%.INVOCATION%.COUNT)
(store.variable.Xn 1)
(load.value.Xn 1)
(add.pos.word 1)
(store.variable.Yn 1)
(load.value.Yn 1)
(settopval QP%.INVOCATION%.COUNT)
(load.pos.word 1)
(settopval QP%.FIRST%.TRAP)
(load.choice.point)
(store.variable.Yn 9)
(call 12 repeat 0 si)
(load.choice.point)
(store.variable.Yn 7)
(put.Ai.value.Yn 8 7)
(put.Ai.value.Yn 7 9)
(put.Ai.value.Yn 6 8)
(put.Ai.value.Yn 5 4)
(put.Ai.value.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.symbol 2 Call)
(put.Ai.value.Yn 1 1)
(call 11 trace 8 interp)
(put.Ai.value.Yn 6 2)
(put.Ai.list 5)
(unify.value.Yn 1)
(unify.value.Yn 7)
(put.Ai.value.Yn 4 5)
(put.Ai.value.Yn 3 8)
(put.Ai.value.Yn 2 4)
(put.Ai.value.Yn 1 3)
(call 10 debug←return 6 interp)
(load.pos.word 1)
(settopval QP%.FIRST%.TRAP)
(load.choice.point)
(store.variable.Yn 6)
(call 10 repeat 0 si)
(put.Ai.value.Yn 8 7)
(put.Ai.value.Yn 7 6)
(put.Ai.value.Yn 6 5)
(put.Ai.value.Yn 5 4)
(put.Ai.value.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.symbol 2 Exit)
(put.Ai.value.Yn 1 1)
(depart trace 8 interp)
)
(ASSEMBLE.CLAUSE ( trace 8 interp ) 204
(allocate)
(get.Ai.variable.Yn 1 2)
(get.Ai.variable.Yn 2 14)
(get.Ai.variable.Yn 3 10)
(get.Ai.variable.Yn 4 11)
(get.Ai.variable.Yn 5 13)
(get.Ai.variable.Yn 6 12)
(get.Ai.variable.Yn 8 4)
(gettopval QP%.TRACE%.STATE)
(store.variable.Yn 7)
(load.value.Yn 7)
(load.pos.word 1)
(equal.to.else 26)
(fail)
(load.value.Yn 7)
(load.pos.word 2)
(equal.to.else 33)
(jump.to 38)
(load.value.Yn 7)
(load.pos.word 5)
(equal.to.else 40)
(jump.to 106)
(load.value.Yn 7)
(load.pos.word 3)
(equal.to.else 62)
(put.Ai.variable.Yn 3 16)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 10)
(get.word)
(load.value.Yn 16)
(load.pos.word 4)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(jump.to 106)
(load.value.Yn 7)
(load.pos.word 4)
(equal.to.else 72)
(gettopval QP%.SKIP%.INVOCATION)
(store.value.Yn 2)
(jump.to 106)
(load.value.Yn 7)
(load.pos.word 6)
(equal.to.else 105)
(put.Ai.variable.Yn 2 15)
(put.Ai.value.Yn 1 14)
(call 18 decide←port 2 interp)
(put.Ai.value.Yn 6 13)
(put.Ai.value.Yn 5 12)
(put.Ai.value.Yn 4 11)
(put.Ai.value.Yn 3 10)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 15)
(call 17 fast←backup 6 interp)
(load.pos.word 2)
(settopval QP%.TRACE%.STATE)
(jump.to 106)
(fail)
(put.Ai.value.Yn 2 11)
(put.Ai.value.Yn 1 12)
(call 17 avoid←top←level 2 interp)
(gettopval QP%.INSIDE%.DEBUGGER)
(store.integer 0)
(load.pos.word 1)
(settopval QP%.INSIDE%.DEBUGGER)
(put.Ai.variable.Yn 2 9)
(put.Ai.value.Yn 1 14)
(call 16 decide←port 2 interp)
(put.Ai.variable.Yn 3 6)
(put.Ai.value.Yn 2 10)
(put.Ai.value.Yn 1 9)
(call 16 decide←leash 3 interp)
(put.Ai.variable.Yn 2 8)
(put.Ai.value.Yn 1 7)
(call 16 decide←chars 2 interp)
(put.Ai.variable.Yn 8 3)
(put.Ai.value.Yn 7 13)
(put.Ai.value.Yn 6 12)
(put.Ai.value.Yn 5 11)
(put.Ai.value.Yn 4 10)
(put.Ai.unsafe.Yn 3 9)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 8)
(call 10 make←debug 8 interp)
(put.Ai.variable.Yn 1 5)
(call 10 current←output 1 si)
(put.Ai.symbol 1 user)
(call 10 set←output 1 si)
(put.Ai.variable.Yn 4 1)
(put.Ai.value.Yn 3 7)
(put.Ai.value.Yn 2 3)
(put.Ai.unsafe.Yn 1 6)
(call 8 handle 4 interp)
(put.Ai.unsafe.Yn 1 5)
(call 7 set←output 1 si)
(load.pos.word 0)
(settopval QP%.INSIDE%.DEBUGGER)
(put.Ai.value.Yn 4 4)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(call 3 travel 4 interp)
(fail)
)
(ASSEMBLE.CLAUSE ( trace 8 interp ) 24
(allocate)
(get.Ai.variable.Yn 7 1)
(load.choice.point)
(store.variable.Xn 1)
(either 4 22)
(gettopval QP%.FIRST%.TRAP)
(store.integer 1)
(load.value.Xn 1)
(cut.to.choice.point)
(load.pos.word 0)
(settopval QP%.FIRST%.TRAP)
(progress)
(or.finally)
(load.value.Yn 1)
(cut.to.choice.point)
(fail)
)
(ASSEMBLE.CLAUSE ( fast←backup 6 interp ) 9
(get.Ai.constant 1 Call)
(put.Ai.value.Xn 1 5)
(put.Ai.value.Xn 2 6)
(execute fast←arrive 2 interp)
)
(ASSEMBLE.CLAUSE ( fast←backup 6 interp ) 9
(get.Ai.constant 1 Exit)
(put.Ai.value.Xn 1 5)
(put.Ai.value.Xn 2 6)
(execute fast←arrive 2 interp)
)
(ASSEMBLE.CLAUSE ( fast←backup 6 interp ) 4
(get.Ai.constant 1 Redo)
(fail)
)
(ASSEMBLE.CLAUSE ( fast←backup 6 interp ) 16
(get.Ai.constant 1 Fail)
(put.Ai.value.Xn 1 2)
(put.Ai.value.Xn 2 3)
(put.Ai.value.Xn 3 4)
(put.Ai.value.Xn 4 6)
(allocate)
(call 3 fast←fail 4 interp)
(fail)
)
(ASSEMBLE.CLAUSE ( fast←arrive 2 interp ) 15
(put.Ai.value.Xn 3 2)
(gettopval QP%.LURCH)
(store.variable.Xn 2)
(load.value.Xn 3)
(load.value.Xn 2)
(subtract)
(store.variable.Xn 5)
(put.Ai.symbol 4 Redo)
(put.Ai.value.Xn 2 5)
(execute show←anc2 4 interp)
)
(ASSEMBLE.CLAUSE ( fast←fail 4 interp ) 52
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 5)
(get.Ai.variable.Yn 4 1)
(gettopval QP%.LURCH)
(store.variable.Xn 1)
(load.value.Yn 1)
(load.value.Xn 1)
(less.than.else 53)
(put.Ai.variable.Yn 1 2)
(call 8 current←output 1 si)
(put.Ai.symbol 1 user)
(call 8 set←output 1 si)
(put.Ai.value.Yn 5 1)
(put.Ai.value.Yn 4 5)
(put.Ai.value.Yn 3 4)
(put.Ai.symbol 2 Fail)
(put.Ai.value.Yn 1 3)
(call 5 show←one←port 5 interp)
(call 5 nl 0 si)
(put.Ai.unsafe.Yn 1 2)
(call 4 set←output 1 si)
(load.value.Yn 1)
(settopval QP%.LURCH)
(progress)
(progress)
)
(ASSEMBLE.CLAUSE ( avoid←top←level 2 interp ) 23
(get.Ai.structure 1 info 1)
(unify.constant 0)
(put.Ai.value.Xn 1 2)
(allocate)
(put.Ai.variable.Yn 3 2)
(put.Ai.variable.Yn 2 1)
(functor)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(call 3 debug←pred 2 interp)
(body.cut)
(fail)
)
(ASSEMBLE.CLAUSE ( avoid←top←level 2 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 debug)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 trace)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 nodebug)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 notrace)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 debugging)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 spy)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 nospy)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 nospyall)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 unknown)
(get.Ai.constant 2 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 leash)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 help)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 help)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 manual)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←pred 2 interp ) 7
(get.Ai.constant 1 manual)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←port 2 interp ) 16
(get.Ai.constant 1 Call)
(get.Ai.symbol 2 Call)
(gettopval QP%.TRACE%.STATE)
(store.integer 5)
(head.cut)
(load.pos.word 1)
(settopval QP%.FIRST%.TRAP)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←port 2 interp ) 8
(get.Ai.value.Xn 2 1)
(gettopval QP%.FIRST%.TRAP)
(store.integer 1)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( decide←port 2 interp ) 6
(get.Ai.constant 1 Call)
(get.Ai.symbol 2 Fail)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←port 2 interp ) 6
(get.Ai.constant 1 Exit)
(get.Ai.symbol 2 Redo)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←leash 3 interp ) 8
(get.Ai.symbol 3 yes)
(gettopval QP%.TRACE%.STATE)
(store.integer 5)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( decide←leash 3 interp ) 48
(allocate)
(get.Ai.variable.Yn 2 5)
(get.Ai.symbol 3 yes)
(put.Ai.variable.Yn 2 1)
(call 8 leash←bit 2 interp)
(load.choice.point)
(store.variable.Yn 3)
(either 8 39)
(put.Ai.variable.Yn 3 4)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 5)
(get.word)
(load.value.Yn 4)
(load.pos.word 4)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(load.value.Yn 3)
(cut.to.choice.point)
(gettopval QP%.LEASH%.SPY)
(store.variable.Yn 2)
(jump.to 43)
(or.finally)
(gettopval QP%.LEASH)
(store.variable.Yn 2)
(load.value.Yn 2)
(load.value.Yn 1)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( decide←leash 3 interp ) 3
(get.Ai.symbol 3 no)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←chars 2 interp ) 6
(get.Ai.constant 1 4)
(get.Ai.symbol 2 % %>)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( decide←chars 2 interp ) 3
(get.Ai.symbol 2 % % )
(proceed)
)
(ASSEMBLE.CLAUSE ( travel 4 interp ) 37
(get.Ai.structure 1 r 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 4)
(load.pos.word 2)
(settopval QP%.TRACE%.STATE)
(load.pos.word 1)
(settopval QP%.FIRST%.TRAP)
(put.Ai.nil 3)
(put.Ai.symbol 2 %[Debugger%:% retry% goal%]%~2n)
(put.Ai.symbol 1 user)
(call 7 format 3 format)
(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 throw 4 interp)
)
(ASSEMBLE.CLAUSE ( travel 4 interp ) 15
(get.Ai.structure 1 f 1)
(unify.variable.Xn 1)
(allocate)
(load.pos.word 2)
(settopval QP%.TRACE%.STATE)
(load.pos.word 0)
(settopval QP%.FIRST%.TRAP)
(depart throw 4 interp)
)
(ASSEMBLE.CLAUSE ( travel 4 interp ) 13
(get.Ai.constant 1 4)
(head.cut)
(allocate)
(load.value.Xn 2)
(settopval QP%.SKIP%.INVOCATION)
(load.pos.word 4)
(settopval QP%.TRACE%.STATE)
(progress)
)
(ASSEMBLE.CLAUSE ( travel 4 interp ) 4
(load.value.Xn 1)
(settopval QP%.TRACE%.STATE)
(proceed)
)
(ASSEMBLE.CLAUSE ( throw 4 interp ) 6
(get.Ai.constant 1 -1)
(load.value.Xn 4)
(cut.to.choice.point)
(fail)
)
(ASSEMBLE.CLAUSE ( throw 4 interp ) 14
(allocate)
(get.Ai.variable.Yn 4 1)
(load.value.Xn 1)
(load.value.Xn 2)
(not.less.than)
(put.Ai.value.Xn 1 3)
(call 4 debug←is←left 1 interp)
(load.value.Yn 1)
(cut.to.choice.point)
(fail)
)
(ASSEMBLE.CLAUSE ( throw 4 interp ) 24
(allocate)
(get.Ai.variable.Yn 1 3)
(put.Ai.value.Xn 1 3)
(put.Ai.variable.Yn 2 4)
(call 7 debug←info 2 interp)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.list 1)
(unify.variable.Yn 2)
(unify.variable.Yn 1)
(call 6 info←debug←member 2 interp)
(load.value.Yn 3)
(load.value.Yn 2)
(not.less.than)
(load.value.Yn 1)
(cut.to.choice.point)
(fail)
)
(ASSEMBLE.CLAUSE ( throw 4 interp ) 3
(load.value.Xn 4)
(cut.to.choice.point)
(fail)
)
(ASSEMBLE.CLAUSE ( make←debug 8 interp ) 11
(get.Ai.structure 8 debug 7)
(unify.local.Xn 1)
(unify.local.Xn 2)
(unify.local.Xn 3)
(unify.local.Xn 4)
(unify.local.Xn 5)
(unify.local.Xn 6)
(unify.local.Xn 7)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←proc 3 interp ) 12
(get.Ai.structure 1 debug 7)
(unify.void 3)
(unify.variable.Xn 4)
(unify.variable.Xn 1)
(unify.void 2)
(get.Ai.value.Xn 2 4)
(get.Ai.value.Xn 3 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←info 2 interp ) 9
(get.Ai.structure 1 debug 7)
(unify.void 5)
(unify.variable.Xn 1)
(unify.void 1)
(get.Ai.value.Xn 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←depth 2 interp ) 8
(get.Ai.structure 1 debug 7)
(unify.void 6)
(unify.variable.Xn 1)
(get.Ai.value.Xn 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( debug←is←skip 1 interp ) 8
(get.Ai.structure 1 debug 7)
(unify.void 2)
(unify.variable.Xn 1)
(unify.void 4)
(execute skip←port←name 1 interp)
)
(ASSEMBLE.CLAUSE ( debug←is←x 1 interp ) 8
(get.Ai.structure 1 debug 7)
(unify.void 2)
(unify.variable.Xn 1)
(unify.void 4)
(execute x←port←name 1 interp)
)
(ASSEMBLE.CLAUSE ( debug←is←left 1 interp ) 8
(get.Ai.structure 1 debug 7)
(unify.void 2)
(unify.variable.Xn 1)
(unify.void 4)
(execute left←port←name 1 interp)
)
(ASSEMBLE.CLAUSE ( skip←port←name 1 interp ) 4
(get.Ai.constant 1 Call)
(proceed)
)
(ASSEMBLE.CLAUSE ( skip←port←name 1 interp ) 4
(get.Ai.constant 1 Redo)
(proceed)
)
(ASSEMBLE.CLAUSE ( x←port←name 1 interp ) 4
(get.Ai.constant 1 Fail)
(proceed)
)
(ASSEMBLE.CLAUSE ( x←port←name 1 interp ) 4
(get.Ai.constant 1 Redo)
(proceed)
)
(ASSEMBLE.CLAUSE ( left←port←name 1 interp ) 4
(get.Ai.constant 1 Fail)
(proceed)
)
(ASSEMBLE.CLAUSE ( left←port←name 1 interp ) 4
(get.Ai.constant 1 Call)
(proceed)
)
(ASSEMBLE.CLAUSE ( handle 4 interp ) 56
(get.Ai.constant 1 yes)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 4 1)
(put.Ai.value.Yn 2 2)
(put.Ai.symbol 1 print)
(call 8 show←port 2 interp)
(call 8 repeat 0 si)
(put.Ai.symbol 1 % %?% )
(call 8 display 1 si)
(put.Ai.variable.Yn 2 4)
(put.Ai.variable.Yn 1 5)
(call 8 tty←get←action 2 interp)
(put.Ai.variable.Yn 2 3)
(put.Ai.unsafe.Yn 1 5)
(call 7 remap 2 interp)
(put.Ai.value.Yn 4 1)
(put.Ai.value.Yn 3 2)
(put.Ai.unsafe.Yn 2 4)
(put.Ai.unsafe.Yn 1 3)
(call 5 act 4 interp)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(call 3 established←state 2 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( handle 4 interp ) 22
(get.Ai.constant 1 no)
(allocate)
(get.Ai.variable.Yn 3 1)
(get.Ai.variable.Yn 4 2)
(put.Ai.symbol 1 print)
(call 5 show←port 2 interp)
(call 5 nl 0 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart new←state 2 interp)
)
(ASSEMBLE.CLAUSE ( established←state 2 interp ) 5
(get.Ai.constant 1 -1)
(head.cut)
(fail)
)
(ASSEMBLE.CLAUSE ( established←state 2 interp ) 11
(get.Ai.constant 1 0)
(head.cut)
(allocate)
(put.Ai.symbol 1 print)
(call 3 show←port 2 interp)
(fail)
)
(ASSEMBLE.CLAUSE ( established←state 2 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( new←state 2 interp ) 7
(get.Ai.constant 1 4)
(get.Ai.constant 2 2)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( new←state 2 interp ) 7
(get.Ai.constant 1 6)
(get.Ai.constant 2 2)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( new←state 2 interp ) 3
(get.Ai.value.Xn 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( show←port 2 interp ) 43
(allocate)
(get.Ai.variable.Yn 1 6)
(get.Ai.structure 2 debug 7)
(unify.variable.Xn 1)
(unify.variable.Yn 2)
(unify.variable.Yn 8)
(unify.variable.Yn 7)
(unify.variable.Yn 5)
(unify.void 1)
(unify.variable.Yn 3)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 7)
(call 11 decide←chars 3 interp)
(put.Ai.variable.Yn 3 4)
(put.Ai.value.Yn 2 8)
(put.Ai.value.Yn 1 7)
(call 9 decide←extra 3 interp)
(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.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart show←port 6 interp)
)
(ASSEMBLE.CLAUSE ( show←one←port 5 interp ) 43
(allocate)
(get.Ai.variable.Yn 1 2)
(get.Ai.variable.Yn 2 7)
(get.Ai.variable.Yn 3 6)
(get.Ai.variable.Yn 4 5)
(get.Ai.variable.Yn 5 3)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 6)
(put.Ai.symbol 1 % % )
(call 10 decide←chars 3 interp)
(put.Ai.variable.Yn 3 4)
(put.Ai.value.Yn 2 7)
(put.Ai.value.Yn 1 6)
(call 8 decide←extra 3 interp)
(put.Ai.symbol 6 print)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart show←port 6 interp)
)
(ASSEMBLE.CLAUSE ( show←port 6 interp ) 69
(allocate)
(get.Ai.variable.Yn 1 7)
(get.Ai.variable.Yn 2 6)
(get.Ai.variable.Yn 3 5)
(get.Ai.variable.Yn 4 4)
(get.Ai.variable.Yn 5 3)
(get.Ai.variable.Yn 6 1)
(call 10 check←mode←line 0 si)
(put.Ai.value.Yn 1 7)
(call 9 display 1 si)
(put.Ai.symbol 1 % %()
(call 9 display 1 si)
(put.Ai.value.Yn 1 6)
(call 8 display 1 si)
(put.Ai.symbol 1 %)% )
(call 8 display 1 si)
(put.Ai.value.Yn 1 5)
(call 7 display 1 si)
(put.Ai.symbol 1 % )
(call 7 display 1 si)
(put.Ai.value.Yn 1 4)
(call 6 display←port 1 interp)
(put.Ai.symbol 1 %:% )
(call 6 display 1 si)
(put.Ai.variable.Yn 2 2)
(put.Ai.value.Yn 1 3)
(call 5 transform←back←body 2 interp)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart show←goal 2 interp)
)
(ASSEMBLE.CLAUSE ( decide←chars 3 interp ) 22
(get.Ai.constant 1 % % )
(put.Ai.value.Xn 1 2)
(get.Ai.symbol 3 %*%*)
(allocate)
(put.Ai.variable.Yn 3 1)
(put.Ai.constant 2 13)
(get.word)
(load.value.Yn 1)
(load.pos.word 4)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( decide←chars 3 interp ) 22
(get.Ai.constant 1 % %>)
(put.Ai.value.Xn 1 2)
(get.Ai.symbol 3 %*%>)
(allocate)
(put.Ai.variable.Yn 3 1)
(put.Ai.constant 2 13)
(get.word)
(load.value.Yn 1)
(load.pos.word 4)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( decide←chars 3 interp ) 3
(get.Ai.value.Xn 3 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←extra 3 interp ) 32
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.structure 3 %- 2)
(unify.local.Xn 2)
(unify.variable.Yn 2)
(put.Ai.variable.Yn 5 3)
(put.Ai.void 4)
(put.Ai.void 3)
(put.Ai.void 2)
(put.Ai.value.Yn 1 1)
(call 6 predicate←parts 5 si)
(load.value.Yn 3)
(load.pos.word 3)
(boolean.and)
(store.integer 1)
(body.cut)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart decide←compiled 2 interp)
)
(ASSEMBLE.CLAUSE ( decide←extra 3 interp ) 3
(get.Ai.value.Xn 3 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( decide←compiled 2 interp ) 11
(get.Ai.symbol 2 compiled)
(allocate)
(put.Ai.symbol 4 user)
(put.Ai.void 3)
(put.Ai.void 2)
(call 3 procedure 4 si)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( decide←compiled 2 interp ) 3
(get.Ai.symbol 2 built←in)
(proceed)
)
(ASSEMBLE.CLAUSE ( display←port 1 interp ) 32
(get.Ai.structure 1 %- 2)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(head.cut)
(call 4 display 1 si)
(put.Ai.constant 1 32)
(call 4 put 1 si)
(put.Ai.constant 1 40)
(call 4 put 1 si)
(put.Ai.value.Yn 1 1)
(call 3 display 1 si)
(put.Ai.constant 1 41)
(depart put 1 si)
)
(ASSEMBLE.CLAUSE ( display←port 1 interp ) 2
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( show←goal 2 interp ) 7
(get.Ai.constant 1 print)
(put.Ai.value.Xn 1 2)
(execute print←goal 1 interp)
)
(ASSEMBLE.CLAUSE ( show←goal 2 interp ) 7
(get.Ai.constant 1 write)
(put.Ai.value.Xn 1 2)
(execute write 1 si)
)
(ASSEMBLE.CLAUSE ( show←goal 2 interp ) 7
(get.Ai.constant 1 display)
(put.Ai.value.Xn 1 2)
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( print←goal 1 interp ) 25
(allocate)
(get.Ai.variable.Yn 1 2)
(put.Ai.variable.Yn 1 1)
(call 5 get←state 1 si)
(gettopval QP%.DEBUG%.PRINT%.DEPTH)
(store.variable.Xn 4)
(put.Ai.nil 3)
(put.Ai.value.Yn 2 2)
(put.Ai.symbol 1 current)
(call 4 printq 4 si)
(put.Ai.unsafe.Yn 1 1)
(call 3 set←state 1 si)
(fail)
)
(ASSEMBLE.CLAUSE ( print←goal 1 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( undefined←warning 2 interp ) 14
(allocate)
(put.Ai.variable.Yn 4 2)
(put.Ai.variable.Yn 3 1)
(call 5 short←undefined←warning 4 interp)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart mention←comrades 2 interp)
)
(ASSEMBLE.CLAUSE ( short←undefined←warning 2 interp ) 4
(put.Ai.void 4)
(put.Ai.void 3)
(execute short←undefined←warning 4 interp)
)
(ASSEMBLE.CLAUSE ( short←undefined←warning 4 interp ) 60
(put.Ai.value.Xn 5 1)
(put.Ai.value.Xn 6 2)
(allocate)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 4)
(put.Ai.value.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.value.Yn 2 3)
(put.Ai.value.Xn 1 6)
(call 7 find←procedure 5 interp)
(put.Ai.variable.Yn 1 1)
(call 7 current←output 1 si)
(put.Ai.symbol 1 user)
(call 7 set←output 1 si)
(call 7 nl 0 si)
(put.Ai.symbol 1 %[Warning%:% The% procedure% )
(call 7 display 1 si)
(put.Ai.value.Yn 2 4)
(put.Ai.structure 1 %/ 2)
(unify.local.Yn 3)
(unify.local.Yn 2)
(call 4 display←pred 2 interp)
(put.Ai.symbol 1 % is% undefined%])
(call 4 display 1 si)
(call 4 nl 0 si)
(put.Ai.unsafe.Yn 1 1)
(depart set←output 1 si)
)
(ASSEMBLE.CLAUSE ( mention←comrades 2 interp ) 12
(allocate)
(put.Ai.variable.Yn 3 1)
(call 4 comrade←predicates 3 si)
(put.Ai.unsafe.Yn 1 1)
(call 3 mention←list 1 interp)
(fail)
)
(ASSEMBLE.CLAUSE ( mention←comrades 2 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( mention←list 1 interp ) 4
(get.Ai.constant 1 NIL)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( mention←list 1 interp ) 13
(get.Ai.list 1)
(unify.variable.Xn 1)
(unify.nil)
(head.cut)
(put.Ai.list 3)
(unify.value.Xn 1)
(unify.nil)
(put.Ai.symbol 2 %[However%,% %~w% is% defined%]%~n)
(put.Ai.symbol 1 user)
(execute format 3 format)
)
(ASSEMBLE.CLAUSE ( mention←list 1 interp ) 9
(put.Ai.list 3)
(unify.local.Xn 1)
(unify.nil)
(put.Ai.symbol 2 %[However%,% %~w% are% defined%]%~n)
(put.Ai.symbol 1 user)
(execute format 3 format)
)
(ASSEMBLE.CLAUSE ( dump←info 1 interp ) 28
(allocate)
(get.Ai.variable.Yn 1 2)
(call 5 development 0 si)
(put.Ai.variable.Yn 2 1)
(put.Ai.value.Yn 1 2)
(call 4 debug←info 2 interp)
(put.Ai.nil 3)
(put.Ai.symbol 2 %~NINFO% % %(Quintus% internal% debugging% data%)%~2n)
(put.Ai.symbol 1 user)
(call 4 format 3 format)
(put.Ai.unsafe.Yn 1 1)
(call 3 dump←info1 1 interp)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( dump←info1 1 interp ) 7
(get.Ai.structure 1 info 1)
(unify.constant 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( dump←info1 1 interp ) 28
(get.Ai.structure 1 info 4)
(unify.variable.Xn 4)
(unify.variable.Xn 1)
(unify.variable.Xn 2)
(allocate)
(unify.variable.Yn 1)
(put.Ai.list 3)
(unify.value.Xn 1)
(unify.nil)
(put.Ai.list 1)
(unify.value.Xn 4)
(unify.value.Xn 3)
(put.Ai.list 3)
(unify.value.Xn 2)
(unify.value.Xn 1)
(put.Ai.symbol 2 % % %~w% % %~w% %:% %~w%~n)
(put.Ai.symbol 1 user)
(call 4 format 3 format)
(put.Ai.value.Yn 1 1)
(depart dump←info1 1 interp)
)
(ASSEMBLE.CLAUSE ( remap 2 interp ) 7
(get.Ai.constant 1 13)
(get.Ai.constant 2 99)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( remap 2 interp ) 7
(get.Ai.constant 1 63)
(get.Ai.constant 2 104)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( remap 2 interp ) 3
(get.Ai.value.Xn 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 25
(get.Ai.constant 1 99)
(allocate)
(get.Ai.variable.Yn 3 1)
(get.Ai.constant 4 6)
(gettopval QP%.BACKUP%.MODE)
(store.integer 1)
(put.Ai.value.Yn 1 1)
(call 4 debug←is←x 1 interp)
(put.Ai.value.Yn 1 1)
(call 3 big←backup 1 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 7
(get.Ai.constant 1 99)
(get.Ai.constant 4 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 7
(get.Ai.constant 1 108)
(get.Ai.constant 4 3)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 13
(get.Ai.constant 1 115)
(put.Ai.value.Xn 1 3)
(get.Ai.constant 4 4)
(allocate)
(call 3 debug←is←skip 1 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 7
(get.Ai.constant 1 115)
(get.Ai.constant 4 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 7
(get.Ai.constant 1 110)
(get.Ai.constant 4 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 8
(get.Ai.constant 1 98)
(get.Ai.constant 4 0)
(execute break 0 si)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 8
(get.Ai.constant 1 97)
(get.Ai.constant 4 0)
(execute abort 0 si)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 7
(get.Ai.constant 1 112)
(get.Ai.constant 4 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 12
(get.Ai.constant 1 119)
(put.Ai.value.Xn 2 3)
(get.Ai.constant 4 -1)
(put.Ai.symbol 1 write)
(execute show←port 2 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 20
(get.Ai.constant 1 120)
(allocate)
(get.Ai.variable.Yn 3 1)
(get.Ai.constant 4 6)
(put.Ai.value.Yn 1 1)
(call 4 debug←is←x 1 interp)
(put.Ai.value.Yn 1 1)
(call 3 big←backup 1 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 7
(get.Ai.constant 1 120)
(get.Ai.constant 4 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 12
(get.Ai.constant 1 100)
(put.Ai.value.Xn 2 3)
(get.Ai.constant 4 -1)
(put.Ai.symbol 1 display)
(execute show←port 2 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 10
(get.Ai.constant 1 60)
(put.Ai.value.Xn 1 2)
(get.Ai.constant 4 0)
(execute change←depth 1 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 8
(get.Ai.constant 1 114)
(get.Ai.structure 4 r 1)
(unify.local.Xn 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 8
(get.Ai.constant 1 102)
(get.Ai.structure 4 f 1)
(unify.local.Xn 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 10
(get.Ai.constant 1 103)
(put.Ai.value.Xn 1 3)
(get.Ai.constant 4 0)
(execute show←ancestors 2 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 12
(get.Ai.constant 1 61)
(get.Ai.constant 4 0)
(allocate)
(call 3 debugging 0 interp)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 12
(get.Ai.constant 1 43)
(put.Ai.value.Xn 1 3)
(get.Ai.constant 4 0)
(put.Ai.symbol 2 spy)
(execute change←spy 2 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 12
(get.Ai.constant 1 45)
(put.Ai.value.Xn 1 3)
(get.Ai.constant 4 0)
(put.Ai.symbol 2 nospy)
(execute change←spy 2 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 12
(get.Ai.constant 1 64)
(get.Ai.constant 4 0)
(allocate)
(call 3 single←command 0 si)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 10
(get.Ai.constant 1 46)
(put.Ai.value.Xn 1 3)
(get.Ai.constant 4 0)
(execute find←definition 1 interp)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 13
(get.Ai.constant 1 126)
(put.Ai.value.Xn 1 3)
(get.Ai.constant 4 0)
(allocate)
(call 3 dump←info 1 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( act 4 interp ) 79
(get.Ai.constant 1 104)
(get.Ai.constant 4 0)
(allocate)
(call 3 nl 0 si)
(put.Ai.symbol 1 Debugging% options%:)
(call 3 display 1 si)
(call 3 nl 0 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % %<cr%>% % % creep% % % % % % p% % % % % % print% % % % % % % % % r% % % % % % retry% % % % % % % % %@% % % % command)
(call 3 display 1 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % % c% % % % % creep% % % % % % w% % % % % % write% % % % % % % % % r% %<i%>% % retry% i% % % % % % b% % % % break)
(call 3 display 1 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % % l% % % % % leap% % % % % % % d% % % % % % display% % % % % % % f% % % % % % fail% % % % % % % % % a% % % % abort)
(call 3 display 1 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % % s% % % % % skip% % % % % % % g% % % % % % ancestors% % % % % f% %<i%>% % fail% i% % % % % % % h% % % % help)
(call 3 display 1 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % % n% % % % % nodebug% % % % g% %<n%>% % n% ancestors% % % %+% % % % % % spy% this% % % % % %?% % % % help)
(call 3 display 1 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % % x% % % % % backup% % % % % %<% %<n%>% % set% depth% % % % % %-% % % % % % nospy% this% % % %=% % % % debugging)
(call 3 display 1 si)
(call 3 nl 0 si)
(put.Ai.symbol 1 % % % % % % % % % % % % % % % % % % % %.% % % % % % find% defn)
(call 3 display 1 si)
(call 3 nl 0 si)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( change←depth 1 interp ) 10
(allocate)
(put.Ai.variable.Yn 2 1)
(call 4 change←depth 2 interp)
(load.value.Yn 1)
(settopval QP%.DEBUG%.PRINT%.DEPTH)
(progress)
)
(ASSEMBLE.CLAUSE ( change←depth 2 interp ) 15
(get.Ai.constant 2 -1)
(load.value.Xn 1)
(load.pos.word 0)
(not.greater.than)
(head.cut)
(put.Ai.nil 3)
(put.Ai.symbol 2 %[Debugger% print% depth% now% has% no% limit%]%~2n)
(put.Ai.symbol 1 user)
(execute format 3 format)
)
(ASSEMBLE.CLAUSE ( change←depth 2 interp ) 11
(get.Ai.value.Xn 2 1)
(put.Ai.list 3)
(unify.local.Xn 1)
(unify.nil)
(put.Ai.symbol 2 %[Debugger% print% depth% set% to% %~w%]%~2n)
(put.Ai.symbol 1 user)
(execute format 3 format)
)
(ASSEMBLE.CLAUSE ( find←definition 1 interp ) 31
(allocate)
(put.Ai.variable.Yn 3 5)
(put.Ai.variable.Yn 2 4)
(call 8 debug←proc 3 interp)
(put.Ai.unsafe.Yn 5 5)
(put.Ai.variable.Yn 4 3)
(put.Ai.variable.Yn 3 2)
(put.Ai.variable.Yn 2 1)
(put.Ai.unsafe.Yn 1 4)
(call 6 find←procedure 5 interp)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(call 3 find←definition 3 si)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( find←definition 1 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( change←spy 2 interp ) 34
(allocate)
(get.Ai.variable.Yn 2 1)
(put.Ai.variable.Yn 3 6)
(put.Ai.variable.Yn 2 5)
(call 9 debug←proc 3 interp)
(put.Ai.unsafe.Yn 5 6)
(put.Ai.variable.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.variable.Yn 2 3)
(put.Ai.unsafe.Yn 1 5)
(call 7 find←procedure 5 interp)
(put.Ai.unsafe.Yn 3 4)
(put.Ai.structure 2 %/ 2)
(unify.local.Yn 3)
(unify.local.Yn 2)
(put.Ai.value.Yn 1 1)
(depart change←how 3 interp)
)
(ASSEMBLE.CLAUSE ( change←how 3 interp ) 9
(get.Ai.constant 1 spy)
(put.Ai.value.Xn 1 2)
(put.Ai.value.Xn 2 3)
(execute spy 2 interp)
)
(ASSEMBLE.CLAUSE ( change←how 3 interp ) 9
(get.Ai.constant 1 nospy)
(put.Ai.value.Xn 1 2)
(put.Ai.value.Xn 2 3)
(execute nospy 2 interp)
)
(ASSEMBLE.CLAUSE ( big←backup 1 interp ) 10
(allocate)
(put.Ai.variable.Yn 2 1)
(call 4 debug←depth 2 interp)
(load.value.Yn 1)
(settopval QP%.LURCH)
(progress)
)
(ASSEMBLE.CLAUSE ( show←ancestors 2 interp ) 27
(allocate)
(get.Ai.variable.Yn 1 4)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 2 1)
(put.Ai.value.Yn 1 4)
(call 7 debug←info 2 interp)
(put.Ai.variable.Yn 2 3)
(put.Ai.value.Yn 1 4)
(call 6 debug←depth 2 interp)
(put.Ai.unsafe.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart show←anc1 3 interp)
)
(ASSEMBLE.CLAUSE ( show←anc1 3 interp ) 21
(get.Ai.structure 1 info 1)
(unify.constant 0)
(head.cut)
(allocate)
(call 3 nl 0 si)
(put.Ai.symbol 1 %[No% ancestors%])
(call 3 display 1 si)
(call 3 nl 0 si)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( show←anc1 3 interp ) 31
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(call 6 nl 0 si)
(put.Ai.symbol 1 %[Ancestors%:%])
(call 6 display 1 si)
(call 6 nl 0 si)
(put.Ai.symbol 4 |.(MKATOM ""))
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(call 3 show←anc2 4 interp)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( anc←invoc 2 interp ) 6
(get.Ai.constant 1 NIL)
(get.Ai.symbol 2 %-)
(proceed)
)
(ASSEMBLE.CLAUSE ( anc←invoc 2 interp ) 6
(get.Ai.list 1)
(unify.variable.Xn 1)
(unify.void 1)
(get.Ai.value.Xn 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( show←anc2 4 interp ) 19
(allocate)
(get.Ai.variable.Yn 4 2)
(load.value.Xn 3)
(add.pos.word 1)
(store.variable.Xn 3)
(put.Ai.variable.Yn 5 1)
(put.Ai.nil 4)
(call 5 show←anc2 5 interp)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart show←anc3 2 interp)
)
(ASSEMBLE.CLAUSE ( show←anc2 5 interp ) 9
(get.Ai.structure 1 info 1)
(unify.constant 0)
(get.Ai.value.Xn 5 4)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( show←anc2 5 interp ) 6
(get.Ai.constant 2 0)
(get.Ai.value.Xn 5 4)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( show←anc2 5 interp ) 56
(allocate)
(get.Ai.variable.Yn 1 7)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 4)
(get.Ai.variable.Yn 5 5)
(put.Ai.variable.Yn 2 1)
(put.Ai.value.Yn 1 7)
(call 10 info←tail 2 interp)
(put.Ai.variable.Yn 2 6)
(put.Ai.value.Yn 1 7)
(call 10 info←depth 2 interp)
(load.value.Yn 6)
(load.value.Yn 3)
(less.than.else 46)
(load.value.Yn 2)
(add.neg.word -1)
(store.variable.Xn 2)
(put.Ai.value.Yn 5 5)
(put.Ai.list 4)
(unify.local.Yn 7)
(unify.local.Yn 4)
(put.Ai.unsafe.Yn 3 6)
(put.Ai.value.Yn 1 1)
(depart show←anc2 5 interp)
(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.unsafe.Yn 1 1)
(depart show←anc2 5 interp)
)
(ASSEMBLE.CLAUSE ( show←anc3 2 interp ) 4
(get.Ai.constant 1 NIL)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( show←anc3 2 interp ) 44
(get.Ai.list 1)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.structure 1 info 4)
(unify.variable.Yn 5)
(unify.variable.Yn 4)
(unify.variable.Xn 1)
(unify.void 1)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 2 3)
(call 8 anc←invoc 2 interp)
(load.value.Yn 5)
(add.neg.word -1)
(store.variable.Xn 3)
(put.Ai.symbol 6 print)
(put.Ai.value.Yn 5 4)
(put.Ai.value.Yn 4 2)
(put.Ai.unsafe.Yn 2 3)
(put.Ai.symbol 1 % % )
(call 5 show←port 6 interp)
(call 5 nl 0 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart show←anc3 2 interp)
)
(ASSEMBLE.CLAUSE ( get←ancestors 2 interp ) 26
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 2 3)
(put.Ai.value.Yn 1 1)
(call 6 info←depth 2 interp)
(load.value.Yn 3)
(add.pos.word 1)
(store.variable.Xn 3)
(put.Ai.value.Yn 5 2)
(put.Ai.nil 4)
(put.Ai.constant 2 -1)
(put.Ai.value.Yn 1 1)
(depart show←anc2 5 interp)
)
(ASSEMBLE.CLAUSE ( tty←get←action 2 interp ) 38
(allocate)
(get.Ai.variable.Yn 1 2)
(get.Ai.variable.Yn 2 3)
(put.Ai.variable.Yn 1 1)
(call 7 current←input 1 si)
(put.Ai.symbol 1 user)
(call 7 set←input 1 si)
(put.Ai.variable.Yn 1 4)
(call 7 get0 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 4)
(call 6 g←char 2 interp)
(put.Ai.value.Yn 2 3)
(put.Ai.value.Yn 1 2)
(call 4 g←num 2 interp)
(put.Ai.unsafe.Yn 1 1)
(depart set←input 1 si)
)
(ASSEMBLE.CLAUSE ( g←char 2 interp ) 7
(get.Ai.constant 1 13)
(get.Ai.constant 2 13)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( g←char 2 interp ) 19
(allocate)
(get.Ai.variable.Yn 2 2)
(load.value.Xn 1)
(load.pos.word 32)
(not.greater.than)
(head.cut)
(put.Ai.variable.Yn 1 1)
(call 5 get0 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart g←char 2 interp)
)
(ASSEMBLE.CLAUSE ( g←char 2 interp ) 20
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.value.Yn 2 1)
(either 4 16)
(load.value.Yn 1)
(load.pos.word 64)
(not.greater.than)
(jump.to 21)
(or.finally)
(load.value.Yn 1)
(load.pos.word 91)
(not.less.than)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( g←char 2 interp ) 5
(load.value.Xn 1)
(add.pos.word 32)
(store.value.Xn 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( g←num 2 interp ) 7
(get.Ai.constant 1 13)
(get.Ai.constant 2 -1)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( g←num 2 interp ) 14
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 1 1)
(call 5 get0 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart g←look←num 2 interp)
)
(ASSEMBLE.CLAUSE ( g←look←num 2 interp ) 7
(get.Ai.constant 1 13)
(get.Ai.constant 2 -1)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( g←look←num 2 interp ) 33
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.variable.Yn 2 1)
(load.value.Yn 3)
(load.pos.word 48)
(not.less.than)
(load.value.Yn 3)
(load.pos.word 57)
(not.greater.than)
(head.cut)
(put.Ai.variable.Yn 1 4)
(call 7 get0 1 si)
(put.Ai.variable.Yn 2 2)
(put.Ai.unsafe.Yn 1 4)
(call 6 g←get←digits 2 interp)
(put.Ai.list 2)
(unify.local.Yn 3)
(unify.local.Yn 2)
(put.Ai.value.Yn 1 1)
(depart name 2 si)
)
(ASSEMBLE.CLAUSE ( g←look←num 2 interp ) 14
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 1 1)
(call 5 get0 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart g←look←num 2 interp)
)
(ASSEMBLE.CLAUSE ( g←get←digits 2 interp ) 5
(get.Ai.constant 1 13)
(get.Ai.nil 2)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( g←get←digits 2 interp ) 24
(get.Ai.list 2)
(unify.local.Xn 1)
(allocate)
(unify.variable.Yn 2)
(load.value.Xn 1)
(load.pos.word 48)
(not.less.than)
(load.value.Xn 1)
(load.pos.word 57)
(not.greater.than)
(head.cut)
(put.Ai.variable.Yn 1 1)
(call 5 get0 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart g←get←digits 2 interp)
)
(ASSEMBLE.CLAUSE ( g←get←digits 2 interp ) 11
(get.Ai.nil 2)
(allocate)
(put.Ai.variable.Yn 1 1)
(call 4 get0 1 si)
(put.Ai.unsafe.Yn 1 1)
(depart g←nl 1 interp)
)
(ASSEMBLE.CLAUSE ( g←nl 1 interp ) 4
(get.Ai.constant 1 13)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( g←nl 1 interp ) 10
(allocate)
(put.Ai.variable.Yn 1 1)
(call 4 get0 1 si)
(put.Ai.unsafe.Yn 1 1)
(depart g←nl 1 interp)
)
(ASSEMBLE.CLAUSE ( notrace 0 interp ) 5
(put.Ai.constant 1 1)
(execute new←trace←state←msg 1 interp)
)
(ASSEMBLE.CLAUSE ( nodebug 0 interp ) 5
(put.Ai.constant 1 1)
(execute new←trace←state←msg 1 interp)
)
(ASSEMBLE.CLAUSE ( trace 0 interp ) 5
(put.Ai.constant 1 2)
(execute new←trace←state←msg 1 interp)
)
(ASSEMBLE.CLAUSE ( debug 0 interp ) 5
(put.Ai.constant 1 3)
(execute new←trace←state←msg 1 interp)
)
(ASSEMBLE.CLAUSE ( new←trace←state←msg 1 interp ) 12
(allocate)
(get.Ai.variable.Yn 1 1)
(put.Ai.value.Yn 1 1)
(call 4 new←trace←state 1 interp)
(put.Ai.value.Yn 1 1)
(depart debug←message 1 interp)
)
(ASSEMBLE.CLAUSE ( new←trace←state 1 interp ) 9
(allocate)
(load.value.Xn 1)
(settopval QP%.TOP%.TRACE%.STATE)
(load.value.Xn 1)
(settopval QP%.TRACE%.STATE)
(depart mode←line←changed 0 si)
)
(ASSEMBLE.CLAUSE ( change←trace←state 1 interp ) 4
(gettopval QP%.TRACE%.STATE)
(store.value.Xn 1)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( change←trace←state 1 interp ) 6
(allocate)
(load.value.Xn 1)
(settopval QP%.TRACE%.STATE)
(depart debug←message 1 interp)
)
(ASSEMBLE.CLAUSE ( be←helpful 0 interp ) 8
(gettopval QP%.TRACE%.STATE)
(store.integer 1)
(head.cut)
(execute debug 0 interp)
)
(ASSEMBLE.CLAUSE ( be←helpful 0 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( spy 1 interp ) 19
(allocate)
(get.Ai.variable.Yn 1 1)
(call 5 be←helpful 0 interp)
(put.Ai.variable.Yn 1 2)
(call 5 current←module 1 si)
(put.Ai.symbol 3 spy)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart spy0 3 interp)
)
(ASSEMBLE.CLAUSE ( nospy 1 interp ) 16
(allocate)
(get.Ai.variable.Yn 1 1)
(put.Ai.variable.Yn 1 2)
(call 5 current←module 1 si)
(put.Ai.symbol 3 nospy)
(put.Ai.unsafe.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart spy0 3 interp)
)
(ASSEMBLE.CLAUSE ( spy 2 interp ) 19
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(call 5 be←helpful 0 interp)
(put.Ai.value.Yn 1 2)
(is.a 128)
(put.Ai.symbol 3 spy)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart spy0 3 interp)
)
(ASSEMBLE.CLAUSE ( nospy 2 interp ) 16
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(put.Ai.value.Yn 1 2)
(is.a 128)
(put.Ai.symbol 3 nospy)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart spy0 3 interp)
)
(ASSEMBLE.CLAUSE ( spy0 3 interp ) 5
(allocate)
(call 3 spy 3 interp)
(fail)
)
(ASSEMBLE.CLAUSE ( spy0 3 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( spy 3 interp ) 15
(allocate)
(get.Ai.variable.Yn 1 2)
(get.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 1 2)
(is.a 1)
(body.cut)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart invalid 2 interp)
)
(ASSEMBLE.CLAUSE ( spy 3 interp ) 4
(get.Ai.constant 1 NIL)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( spy 3 interp ) 24
(get.Ai.list 1)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(head.cut)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(call 6 spy 3 interp)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart spy 3 interp)
)
(ASSEMBLE.CLAUSE ( spy 3 interp ) 30
(allocate)
(get.Ai.variable.Yn 1 4)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(put.Ai.value.Yn 1 4)
(is.a 128)
(body.cut)
(put.Ai.variable.Yn 3 1)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 4)
(call 7 comrade←predicates 3 si)
(put.Ai.value.Yn 4 4)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(depart spy←comrades 4 interp)
)
(ASSEMBLE.CLAUSE ( spy 3 interp ) 21
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(put.Ai.value.Yn 1 1)
(call 6 predicate←spec 1 interp)
(body.cut)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart spy←one 3 interp)
)
(ASSEMBLE.CLAUSE ( spy 3 interp ) 6
(put.Ai.value.Xn 2 1)
(put.Ai.value.Xn 1 3)
(execute invalid 2 interp)
)
(ASSEMBLE.CLAUSE ( spy←comrades 4 interp ) 12
(get.Ai.constant 1 NIL)
(head.cut)
(put.Ai.value.Xn 3 2)
(put.Ai.value.Xn 2 4)
(put.Ai.symbol 1 There% are% no% predicates% with% the% name)
(execute display←message 3 interp)
)
(ASSEMBLE.CLAUSE ( spy←comrades 4 interp ) 2
(execute spy 3 interp)
)
(ASSEMBLE.CLAUSE ( pinpoint←predicate 5 interp ) 13
(get.Ai.symbol 3 user)
(get.Ai.symbol 5 user)
(allocate)
(put.Ai.symbol 4 user)
(put.Ai.symbol 3 user)
(call 3 predicate←module 4 si)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( pinpoint←predicate 5 interp ) 27
(get.Ai.symbol 3 user)
(head.cut)
(allocate)
(put.Ai.structure 3 %/ 2)
(unify.local.Xn 1)
(unify.local.Xn 2)
(put.Ai.list 1)
(unify.value.Xn 3)
(unify.nil)
(put.Ai.list 2)
(unify.local.Xn 4)
(unify.value.Xn 1)
(put.Ai.variable.Yn 1 1)
(call 4 %=%.%. 2 si)
(put.Ai.unsafe.Yn 2 1)
(put.Ai.constant 1 381)
(depart nerror 2 si)
)
(ASSEMBLE.CLAUSE ( pinpoint←predicate 5 interp ) 4
(put.Ai.value.Xn 4 5)
(execute predicate←module 4 si)
)
(ASSEMBLE.CLAUSE ( spy←one 3 interp ) 58
(get.Ai.structure 1 %/ 2)
(allocate)
(unify.variable.Yn 3)
(unify.variable.Yn 2)
(get.Ai.variable.Yn 3 5)
(put.Ai.variable.Yn 5 4)
(put.Ai.value.Yn 4 5)
(put.Ai.value.Xn 3 2)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 3)
(call 9 pinpoint←predicate 5 interp)
(put.Ai.variable.Yn 4 1)
(put.Ai.value.Yn 3 4)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 3)
(call 9 local←predicate 4 si)
(put.Ai.variable.Yn 3 6)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 1)
(get.word)
(load.value.Yn 6)
(load.pos.word 3)
(boolean.and)
(store.variable.Xn 1)
(put.Ai.value.Yn 5 5)
(put.Ai.unsafe.Yn 4 4)
(put.Ai.structure 3 %/ 2)
(unify.value.Yn 3)
(unify.value.Yn 2)
(put.Ai.unsafe.Yn 2 1)
(depart spy←one←dispatch 5 interp)
)
(ASSEMBLE.CLAUSE ( spy←one←dispatch 5 interp ) 33
(get.Ai.constant 1 0)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(get.Ai.variable.Yn 4 4)
(get.Ai.variable.Yn 5 1)
(put.Ai.value.Yn 3 4)
(put.Ai.value.Yn 2 3)
(put.Ai.symbol 1 Warning%:% You% have% no% clauses% for)
(call 7 display←message 3 interp)
(put.Ai.symbol 5 |.(MKATOM ""))
(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 spy←this 5 interp)
)
(ASSEMBLE.CLAUSE ( spy←one←dispatch 5 interp ) 23
(get.Ai.constant 1 1)
(allocate)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 5 1)
(put.Ai.symbol 5 % %(compiled%))
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(call 5 spy←this 5 interp)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart handle←traps 2 interp)
)
(ASSEMBLE.CLAUSE ( spy←one←dispatch 5 interp ) 9
(get.Ai.constant 1 2)
(put.Ai.value.Xn 1 5)
(put.Ai.symbol 5 |.(MKATOM ""))
(execute spy←this 5 interp)
)
(ASSEMBLE.CLAUSE ( spy←one←dispatch 5 interp ) 9
(get.Ai.constant 1 3)
(put.Ai.value.Xn 1 5)
(put.Ai.symbol 5 % %(dynamic%))
(execute spy←this 5 interp)
)
(ASSEMBLE.CLAUSE ( spy←this 5 interp ) 36
(get.Ai.constant 1 spy)
(put.Ai.value.Xn 1 2)
(allocate)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 3)
(get.Ai.variable.Yn 5 1)
(put.Ai.variable.Yn 3 4)
(put.Ai.constant 2 13)
(get.word)
(load.value.Yn 4)
(load.pos.word 4)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(body.cut)
(put.Ai.value.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.value.Yn 2 1)
(put.Ai.symbol 1 There% already% is% a% spypoint% on)
(depart display←message 4 interp)
)
(ASSEMBLE.CLAUSE ( spy←this 5 interp ) 50
(get.Ai.constant 1 spy)
(allocate)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 3)
(get.Ai.variable.Yn 5 1)
(put.Ai.variable.Yn 3 5)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 4)
(get.word)
(load.value.Yn 5)
(load.pos.word 4)
(boolean.or)
(store.variable.Xn 3)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 4)
(put.word)
(put.Ai.symbol 2 interp)
(put.Ai.structure 1 spypoint 1)
(unify.local.Yn 4)
(call 6 assert←module 2 si)
(put.Ai.value.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.value.Yn 2 1)
(put.Ai.symbol 1 Spypoint% placed% on)
(depart display←message 4 interp)
)
(ASSEMBLE.CLAUSE ( spy←this 5 interp ) 66
(get.Ai.constant 1 nospy)
(allocate)
(get.Ai.variable.Yn 2 4)
(get.Ai.variable.Yn 3 2)
(get.Ai.variable.Yn 4 3)
(get.Ai.variable.Yn 5 1)
(put.Ai.variable.Yn 3 6)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 4)
(get.word)
(load.value.Yn 6)
(load.pos.word 4)
(boolean.and)
(load.pos.word 0)
(not.equal.to)
(body.cut)
(put.Ai.variable.Yn 3 5)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 4)
(get.word)
(load.pos.word 65531)
(load.value.Yn 5)
(boolean.and)
(store.variable.Xn 3)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 4)
(put.word)
(put.Ai.symbol 2 interp)
(put.Ai.structure 1 spypoint 1)
(unify.local.Yn 4)
(call 6 retract←module 2 si)
(put.Ai.value.Yn 4 3)
(put.Ai.value.Yn 3 2)
(put.Ai.value.Yn 2 1)
(put.Ai.symbol 1 Spypoint% removed% from)
(depart display←message 4 interp)
)
(ASSEMBLE.CLAUSE ( spy←this 5 interp ) 9
(get.Ai.constant 1 nospy)
(put.Ai.value.Xn 2 5)
(put.Ai.symbol 1 There% is% no% spypoint% on)
(execute display←message 4 interp)
)
(ASSEMBLE.CLAUSE ( nospyall 0 interp ) 37
(allocate)
(put.Ai.symbol 2 interp)
(put.Ai.structure 1 spypoint 1)
(unify.variable.Yn 1)
(call 5 retract←module 2 si)
(put.Ai.value.Yn 2 1)
(put.Ai.symbol 1 nospy)
(call 5 handle←traps 2 interp)
(put.Ai.variable.Yn 3 2)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 1)
(get.word)
(load.pos.word 65531)
(load.value.Yn 2)
(boolean.and)
(store.variable.Xn 3)
(put.Ai.constant 2 13)
(put.Ai.value.Yn 1 1)
(put.word)
(fail)
)
(ASSEMBLE.CLAUSE ( nospyall 0 interp ) 7
(put.Ai.nil 3)
(put.Ai.symbol 2 %[All% spypoints% removed%]%~n)
(put.Ai.symbol 1 user)
(execute format 3 format)
)
(ASSEMBLE.CLAUSE ( predicate←spec 1 interp ) 11
(get.Ai.structure 1 %/ 2)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(is.a 128)
(put.Ai.value.Yn 1 1)
(is.a 24)
(progress)
)
(ASSEMBLE.CLAUSE ( invalid 2 interp ) 48
(allocate)
(get.Ai.variable.Yn 1 3)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 1 1)
(call 6 current←output 1 si)
(put.Ai.symbol 1 user)
(call 6 set←output 1 si)
(put.Ai.symbol 1 %[Invalid% argument% to% )
(call 6 display 1 si)
(put.Ai.value.Yn 1 3)
(call 5 display 1 si)
(put.Ai.symbol 1 % ignored%:% )
(call 5 display 1 si)
(put.Ai.value.Yn 1 2)
(call 4 write 1 si)
(put.Ai.constant 1 93)
(call 4 put 1 si)
(call 4 nl 0 si)
(put.Ai.unsafe.Yn 1 1)
(depart set←output 1 si)
)
(ASSEMBLE.CLAUSE ( display←message 3 interp ) 8
(put.Ai.value.Xn 4 3)
(put.Ai.value.Xn 3 2)
(put.Ai.symbol 2 |.(MKATOM ""))
(execute display←message 4 interp)
)
(ASSEMBLE.CLAUSE ( display←message 4 interp ) 61
(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.variable.Yn 1 1)
(call 8 current←output 1 si)
(put.Ai.symbol 1 user)
(call 8 set←output 1 si)
(put.Ai.constant 1 91)
(call 8 put 1 si)
(put.Ai.value.Yn 1 5)
(call 7 display 1 si)
(put.Ai.value.Yn 1 4)
(call 6 display 1 si)
(put.Ai.constant 1 32)
(call 6 put 1 si)
(put.Ai.value.Yn 2 3)
(put.Ai.value.Yn 1 2)
(call 4 display←pred 2 interp)
(put.Ai.constant 1 93)
(call 4 put 1 si)
(call 4 nl 0 si)
(put.Ai.unsafe.Yn 1 1)
(depart set←output 1 si)
)
(ASSEMBLE.CLAUSE ( display←pred 2 interp ) 10
(allocate)
(get.Ai.variable.Yn 2 1)
(call 4 write 1 si)
(put.Ai.value.Yn 1 1)
(depart display←module 1 interp)
)
(ASSEMBLE.CLAUSE ( display←module 1 interp ) 4
(get.Ai.constant 1 user)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( display←module 1 interp ) 12
(allocate)
(get.Ai.variable.Yn 1 1)
(put.Ai.symbol 1 % in% module% )
(call 4 display 1 si)
(put.Ai.value.Yn 1 1)
(depart display 1 si)
)
(ASSEMBLE.CLAUSE ( leash 1 interp ) 5
(put.Ai.value.Xn 2 1)
(put.Ai.void 1)
(execute leash 2 interp)
)
(ASSEMBLE.CLAUSE ( leash 2 interp ) 44
(allocate)
(get.Ai.variable.Yn 2 1)
(gettopval QP%.LEASH)
(store.variable.Xn 3)
(put.Ai.value.Xn 2 1)
(put.Ai.value.Xn 1 3)
(call 6 what←ports 2 interp)
(load.choice.point)
(store.variable.Yn 3)
(either 6 38)
(put.Ai.variable.Yn 2 2)
(put.Ai.value.Yn 1 1)
(call 6 translate←leash 2 interp)
(load.value.Yn 3)
(cut.to.choice.point)
(load.value.Yn 2)
(settopval QP%.LEASH)
(put.Ai.symbol 2 |.(MKATOM ""))
(put.Ai.unsafe.Yn 1 2)
(depart show←leash 2 interp)
(or.finally)
(put.Ai.value.Yn 2 1)
(put.Ai.constant 1 380)
(depart nerror 2 si)
)
(ASSEMBLE.CLAUSE ( translate←leash 2 interp ) 4
(allocate)
(is.a 1)
(body.cut)
(fail)
)
(ASSEMBLE.CLAUSE ( translate←leash 2 interp ) 18
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.value.Yn 2 1)
(put.Ai.value.Yn 1 1)
(is.a 24)
(body.cut)
(load.value.Yn 1)
(load.pos.word 0)
(not.less.than)
(load.value.Yn 1)
(load.pos.word 15)
(not.greater.than)
(progress)
)
(ASSEMBLE.CLAUSE ( translate←leash 2 interp ) 10
(put.Ai.value.Xn 3 2)
(allocate)
(put.Ai.constant 2 0)
(call 3 translate←leash 3 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( translate←leash 2 interp ) 16
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 2 1)
(call 5 leash←remap 2 interp)
(put.Ai.value.Yn 2 2)
(put.Ai.unsafe.Yn 1 1)
(call 3 leash←name 2 interp)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( translate←leash 3 interp ) 6
(get.Ai.constant 1 NIL)
(get.Ai.value.Xn 3 2)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( translate←leash 3 interp ) 28
(get.Ai.list 1)
(allocate)
(unify.variable.Yn 5)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 2 3)
(get.Ai.variable.Yn 3 2)
(put.Ai.value.Yn 1 5)
(is.a 128)
(put.Ai.variable.Yn 2 4)
(put.Ai.value.Yn 1 5)
(call 7 leash←lbit 2 interp)
(load.value.Yn 4)
(load.value.Yn 3)
(boolean.or)
(store.variable.Xn 2)
(put.Ai.value.Yn 3 2)
(put.Ai.value.Yn 1 1)
(depart translate←leash 3 interp)
)
(ASSEMBLE.CLAUSE ( leash←remap 2 interp ) 6
(get.Ai.constant 1 on)
(get.Ai.symbol 2 full)
(cut.proceed)
)
(ASSEMBLE.CLAUSE ( leash←remap 2 interp ) 3
(get.Ai.value.Xn 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←name 2 interp ) 7
(get.Ai.constant 1 all)
(get.Ai.constant 2 15)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←name 2 interp ) 7
(get.Ai.constant 1 full)
(get.Ai.constant 2 15)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←name 2 interp ) 7
(get.Ai.constant 1 tight)
(get.Ai.constant 2 11)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←name 2 interp ) 7
(get.Ai.constant 1 half)
(get.Ai.constant 2 10)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←name 2 interp ) 7
(get.Ai.constant 1 loose)
(get.Ai.constant 2 8)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←name 2 interp ) 7
(get.Ai.constant 1 off)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←lbit 2 interp ) 7
(get.Ai.constant 1 call)
(get.Ai.constant 2 8)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←lbit 2 interp ) 7
(get.Ai.constant 1 exit)
(get.Ai.constant 2 4)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←lbit 2 interp ) 7
(get.Ai.constant 1 redo)
(get.Ai.constant 2 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←lbit 2 interp ) 7
(get.Ai.constant 1 fail)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←bit 2 interp ) 7
(get.Ai.constant 1 Call)
(get.Ai.constant 2 8)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←bit 2 interp ) 7
(get.Ai.constant 1 Exit)
(get.Ai.constant 2 4)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←bit 2 interp ) 7
(get.Ai.constant 1 Redo)
(get.Ai.constant 2 2)
(proceed)
)
(ASSEMBLE.CLAUSE ( leash←bit 2 interp ) 7
(get.Ai.constant 1 Fail)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( show←leash 2 interp ) 26
(allocate)
(get.Ai.variable.Yn 1 1)
(get.Ai.variable.Yn 2 2)
(put.Ai.constant 1 91)
(call 5 put 1 si)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(call 3 show←leash1 2 interp)
(put.Ai.constant 1 93)
(call 3 put 1 si)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( show←leash1 2 interp ) 21
(get.Ai.constant 1 0)
(allocate)
(get.Ai.variable.Yn 2 1)
(head.cut)
(put.Ai.symbol 1 No% )
(call 4 display 1 si)
(put.Ai.value.Yn 1 1)
(call 3 display 1 si)
(put.Ai.symbol 1 leashing)
(depart display 1 si)
)
(ASSEMBLE.CLAUSE ( show←leash1 2 interp ) 34
(allocate)
(get.Ai.variable.Yn 2 2)
(put.Ai.variable.Yn 2 1)
(call 5 what←ports 2 interp)
(put.Ai.symbol 1 Using% )
(call 5 display 1 si)
(put.Ai.value.Yn 1 2)
(call 4 display 1 si)
(put.Ai.symbol 1 leashing% stopping% at% )
(call 4 display 1 si)
(put.Ai.unsafe.Yn 1 1)
(call 3 write 1 si)
(put.Ai.symbol 1 % ports)
(call 3 display 1 si)
(fail)
)
(ASSEMBLE.CLAUSE ( show←leash1 2 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( what←ports 2 interp ) 22
(put.Ai.value.Xn 3 2)
(put.Ai.value.Xn 2 1)
(put.Ai.list 4)
(unify.symbol fail)
(unify.nil)
(put.Ai.list 1)
(unify.symbol redo)
(unify.value.Xn 4)
(put.Ai.list 4)
(unify.symbol exit)
(unify.value.Xn 1)
(put.Ai.list 1)
(unify.symbol call)
(unify.value.Xn 4)
(execute what←ports 3 interp)
)
(ASSEMBLE.CLAUSE ( what←ports 3 interp ) 5
(get.Ai.constant 1 NIL)
(get.Ai.nil 3)
(proceed)
)
(ASSEMBLE.CLAUSE ( what←ports 3 interp ) 28
(get.Ai.list 1)
(unify.variable.Xn 1)
(allocate)
(unify.variable.Yn 1)
(get.Ai.variable.Yn 2 2)
(get.Ai.variable.Yn 3 3)
(put.Ai.variable.Yn 2 4)
(call 7 leash←lbit 2 interp)
(load.value.Yn 4)
(load.value.Yn 2)
(boolean.and)
(load.pos.word 0)
(equal.to)
(body.cut)
(put.Ai.value.Yn 3 3)
(put.Ai.value.Yn 2 2)
(put.Ai.value.Yn 1 1)
(depart what←ports 3 interp)
)
(ASSEMBLE.CLAUSE ( what←ports 3 interp ) 8
(get.Ai.list 1)
(unify.variable.Xn 4)
(unify.variable.Xn 1)
(get.Ai.list 3)
(unify.value.Xn 4)
(unify.variable.Xn 3)
(execute what←ports 3 interp)
)
(ASSEMBLE.CLAUSE ( unknown 2 interp ) 38
(allocate)
(get.Ai.variable.Yn 2 2)
(gettopval QP%.UNKNOWN)
(store.variable.Xn 2)
(call 5 unknown←value 2 interp)
(put.Ai.variable.Yn 2 1)
(put.Ai.value.Yn 1 2)
(call 4 unknown←value 2 interp)
(load.value.Yn 1)
(settopval QP%.UNKNOWN)
(put.Ai.constant 1 91)
(call 4 put 1 si)
(put.Ai.unsafe.Yn 1 1)
(call 3 show←unknown1 1 interp)
(put.Ai.constant 1 93)
(call 3 put 1 si)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( unknown←value 2 interp ) 7
(get.Ai.constant 1 trace)
(get.Ai.constant 2 1)
(proceed)
)
(ASSEMBLE.CLAUSE ( unknown←value 2 interp ) 7
(get.Ai.constant 1 fail)
(get.Ai.constant 2 0)
(proceed)
)
(ASSEMBLE.CLAUSE ( show←unknown1 1 interp ) 7
(get.Ai.constant 1 1)
(put.Ai.symbol 1 Undefined% procedures% will% trap% to% the% debugger% %(%'trace%'% option%))
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( show←unknown1 1 interp ) 7
(get.Ai.constant 1 0)
(put.Ai.symbol 1 Undefined% procedures% will% just% fail% %(%'fail%'% option%))
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( debugging 0 interp ) 55
(allocate)
(gettopval QP%.TOP%.TRACE%.STATE)
(store.variable.Yn 4)
(gettopval QP%.TRACE%.STATE)
(store.variable.Yn 5)
(gettopval QP%.LEASH)
(store.variable.Yn 3)
(gettopval QP%.UNKNOWN)
(store.variable.Yn 2)
(put.Ai.variable.Yn 1 1)
(call 8 current←output 1 si)
(put.Ai.symbol 1 user)
(call 8 set←output 1 si)
(put.Ai.value.Yn 2 5)
(put.Ai.value.Yn 1 4)
(call 6 debug←message 2 interp)
(put.Ai.symbol 2 |.(MKATOM ""))
(put.Ai.value.Yn 1 3)
(call 5 show←leash1 2 interp)
(call 5 nl 0 si)
(put.Ai.value.Yn 1 2)
(call 4 show←unknown1 1 interp)
(call 4 nl 0 si)
(call 4 spy←message 0 interp)
(put.Ai.unsafe.Yn 1 1)
(depart set←output 1 si)
)
(ASSEMBLE.CLAUSE ( debug←message 1 interp ) 36
(allocate)
(get.Ai.variable.Yn 1 2)
(put.Ai.variable.Yn 1 1)
(call 5 current←output 1 si)
(put.Ai.symbol 1 user)
(call 5 set←output 1 si)
(put.Ai.symbol 1 %[The% debugger% )
(call 5 display 1 si)
(put.Ai.value.Yn 1 2)
(call 4 debug←msg 1 interp)
(put.Ai.constant 1 93)
(call 4 put 1 si)
(call 4 nl 0 si)
(put.Ai.unsafe.Yn 1 1)
(depart set←output 1 si)
)
(ASSEMBLE.CLAUSE ( debug←message 2 interp ) 16
(allocate)
(get.Ai.variable.Yn 1 1)
(head.cut)
(put.Ai.symbol 1 The% debugger% )
(call 4 display 1 si)
(put.Ai.value.Yn 1 1)
(call 3 debug←msg 1 interp)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( debug←msg 1 interp ) 8
(get.Ai.constant 1 1)
(head.cut)
(put.Ai.symbol 1 is% switched% off)
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( debug←msg 1 interp ) 8
(get.Ai.constant 1 2)
(head.cut)
(put.Ai.symbol 1 will% first% creep% %-%-% showing% everything% %(trace%))
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( debug←msg 1 interp ) 8
(get.Ai.constant 1 3)
(head.cut)
(put.Ai.symbol 1 will% first% leap% %-%-% showing% spypoints% %(debug%))
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( debug←msg 1 interp ) 8
(get.Ai.constant 1 4)
(head.cut)
(put.Ai.symbol 1 is% ignoring% everything% during% a% %"skip%")
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( debug←msg 1 interp ) 8
(get.Ai.constant 1 5)
(head.cut)
(put.Ai.symbol 1 is% showing% where% an% error% occured)
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( debug←msg 1 interp ) 4
(put.Ai.symbol 1 is% in% an% illegal% state%!%!% %(system% bug%))
(execute display 1 si)
)
(ASSEMBLE.CLAUSE ( spy←message 0 interp ) 23
(allocate)
(put.Ai.symbol 3 interp)
(put.Ai.symbol 2 true)
(put.Ai.structure 1 spypoint 1)
(unify.void 1)
(call 3 clause←module 3 si)
(body.cut)
(put.Ai.symbol 1 Spypoints%:)
(call 3 display 1 si)
(call 3 nl 0 si)
(depart show←all←spypoints 0 interp)
)
(ASSEMBLE.CLAUSE ( spy←message 0 interp ) 8
(allocate)
(put.Ai.symbol 1 There% are% no% spypoints)
(call 3 display 1 si)
(depart nl 0 si)
)
(ASSEMBLE.CLAUSE ( show←all←spypoints 0 interp ) 56
(allocate)
(put.Ai.variable.Yn 1 1)
(call 8 current←module 1 si)
(put.Ai.symbol 3 interp)
(put.Ai.symbol 2 true)
(put.Ai.structure 1 spypoint 1)
(unify.variable.Yn 5)
(call 8 clause←module 3 si)
(put.Ai.variable.Yn 4 4)
(put.Ai.variable.Yn 3 2)
(put.Ai.variable.Yn 2 3)
(put.Ai.value.Yn 1 5)
(call 7 procedure 4 si)
(put.Ai.constant 1 4)
(call 7 tab 1 si)
(put.Ai.unsafe.Yn 3 4)
(put.Ai.structure 2 %/ 2)
(unify.local.Yn 3)
(unify.local.Yn 2)
(put.Ai.unsafe.Yn 1 1)
(call 3 show←spypoint 3 interp)
(put.Ai.constant 1 46)
(call 3 put 1 si)
(call 3 nl 0 si)
(fail)
)
(ASSEMBLE.CLAUSE ( show←all←spypoints 0 interp ) 1
(proceed)
)
(ASSEMBLE.CLAUSE ( show←spypoint 3 interp ) 10
(get.Ai.constant 1 user)
(head.cut)
(put.Ai.structure 1 spypoint 1)
(unify.local.Xn 2)
(execute write 1 si)
)
(ASSEMBLE.CLAUSE ( show←spypoint 3 interp ) 7
(put.Ai.structure 1 spypoint 2)
(unify.local.Xn 2)
(unify.local.Xn 3)
(execute write 1 si)
)
(ASSEMBLE.CLAUSE ( debug←backtracking 2 interp ) 27
(allocate)
(get.Ai.variable.Yn 2 2)
(gettopval QP%.BACKUP%.MODE)
(store.variable.Xn 3)
(put.Ai.value.Xn 2 1)
(put.Ai.value.Xn 1 3)
(call 5 lurch←name 2 interp)
(put.Ai.value.Yn 1 2)
(is.a 128)
(put.Ai.value.Yn 2 2)
(put.Ai.variable.Yn 1 1)
(call 4 lurch←name 2 interp)
(load.value.Yn 1)
(settopval QP%.BACKUP%.MODE)
(depart.cut)
)
(ASSEMBLE.CLAUSE ( lurch←name 2 interp ) 6
(get.Ai.constant 1 0)
(get.Ai.symbol 2 slow)
(proceed)
)
(ASSEMBLE.CLAUSE ( lurch←name 2 interp ) 6
(get.Ai.constant 1 1)
(get.Ai.symbol 2 fast)
(proceed)
)
STOP