(ASSEMBLE.CLAUSE ( current←module 1 si ) 4
    (get.Ai.constant 1 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( reset←user←streams 0 si ) 6
    (start.calling QP%.RESET%.USER%.STREAMS 0)
    (call.lisp 1)
    (unify.void 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( reset←toplevel←state 0 si ) 9
    (allocate)
    (call 3 reset←user←streams 0 si)
    (put.Ai.symbol 2 T)
    (put.Ai.void 1)
    (depart cursor 2 si)
)

(ASSEMBLE.CLAUSE ( first←top←level 0 si ) 25
    (allocate)
    (load.choice.point)
    (store.variable.Yn 1)
    (either 4 18)
    (call 4 system←solidified 0 si)
    (load.value.Yn 1)
    (cut.to.choice.point)
    (call 3 init←after←restore 0 si)
    (depart subsequent←reinit←top←level 0 si)
    (or.finally)
    (call 3 solidify←for←xerox 0 si)
    (call 3 init←after←restore 0 si)
    (depart reinit←top←level 0 si)
)

(ASSEMBLE.CLAUSE ( abort←top←level 0 si ) 14
    (allocate)
    (call 3 reset←toplevel←state 0 si)
    (put.Ai.nil 3)
    (put.Ai.symbol 2 %~N%[% Execution% aborted% %]%~2n)
    (put.Ai.symbol 1 user←error)
    (call 3 format 3 format)
    (depart top←level 0 si)
)

(ASSEMBLE.CLAUSE ( reinit←top←level 0 si ) 12
    (allocate)
    (call 3 reset←toplevel←state 0 si)
    (call 3 version 0 si)
    (call 3 consult←init←file 0 si)
    (depart top←level 0 si)
)

(ASSEMBLE.CLAUSE ( subsequent←reinit←top←level 0 si ) 9
    (allocate)
    (call 3 reset←toplevel←state 0 si)
    (call 3 version 0 si)
    (depart top←level 0 si)
)

(ASSEMBLE.CLAUSE ( restore←top←level 0 si ) 6
    (allocate)
    (call 3 init←after←restore 0 si)
    (depart reinit←top←level 0 si)
)

(ASSEMBLE.CLAUSE ( error←top←level 0 si ) 41
    (allocate)
    (call 7 reset←toplevel←state 0 si)
    (put.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 2 3)
    (put.Ai.variable.Yn 1 1)
    (call 7 deliver←errors 3 si)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.unsafe.Yn 2 4)
    (put.Ai.unsafe.Yn 1 3)
    (call 5 make←culprit←list 3 si)
    (put.Ai.symbol 3 top)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (call 3 error 3 si)
    (put.Ai.nil 3)
    (put.Ai.symbol 2 %~N%[% Execution% aborted% %]%~2n)
    (put.Ai.symbol 1 user←error)
    (call 3 format 3 format)
    (depart top←level 0 si)
)

(ASSEMBLE.CLAUSE ( make←culprit←list 3 si ) 7
    (get.Ai.constant 2 0)
    (get.Ai.list 3)
    (unify.local.Xn 1)
    (unify.nil)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( make←culprit←list 3 si ) 6
    (get.Ai.list 3)
    (unify.local.Xn 1)
    (unify.list)
    (unify.local.Xn 2)
    (unify.nil)
    (proceed)
)

(ASSEMBLE.CLAUSE ( top←level 0 si ) 19
    (allocate)
    (call 3 system←solidified 0 si)
    (body.cut)
    (call 3 init←world 0 si)
    (call 3 run←abort←handler 0 si)
    (put.Ai.constant 1 0)
    (call 3 listener 1 si)
    (depart halt 0 si)
)

(ASSEMBLE.CLAUSE ( top←level 0 si ) 14
    (allocate)
    (call 3 init←world 0 si)
    (put.Ai.symbol 2 boot)
    (put.Ai.constant 1 0)
    (call 3 listener 2 si)
    (depart halt 0 si)
)

(ASSEMBLE.CLAUSE ( break 0 si ) 63
    (allocate)
    (put.Ai.variable.Yn 1 2)
    (call 7 current←output 1 si)
    (put.Ai.symbol 1 user)
    (call 7 set←output 1 si)
    (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 2 4)
    (put.Ai.variable.Yn 1 3)
    (call 7 get←break←state 2 si)
    (put.Ai.list 2)
    (unify.local.Yn 4)
    (unify.nil)
    (put.Ai.symbol 1 %[% Break% level% %~d% %]%~n)
    (call 7 format 2 format)
    (put.Ai.value.Yn 1 4)
    (call 7 listener 1 si)
    (put.Ai.unsafe.Yn 2 4)
    (put.Ai.unsafe.Yn 1 3)
    (call 5 set←break←state 2 si)
    (put.Ai.nil 2)
    (put.Ai.symbol 1 %~n%[% End% break% %]%~n)
    (call 5 format 2 format)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 set←output 1 si)
    (put.Ai.unsafe.Yn 1 1)
    (depart set←input 1 si)
)

(ASSEMBLE.CLAUSE ( single←command 0 si ) 5
    (allocate)
    (call 3 single←command1 0 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( single←command 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( single←command1 0 si ) 66
    (allocate)
    (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.variable.Yn 1 1)
    (call 8 current←input 1 si)
    (put.Ai.symbol 1 user)
    (call 8 set←input 1 si)
    (put.Ai.variable.Yn 1 3)
    (call 8 get←state 1 si)
    (put.Ai.symbol 2 %|% %:%-% )
    (put.Ai.variable.Yn 1 5)
    (call 8 prompt 2 si)
    (call 8 nl 0 si)
    (put.Ai.variable.Yn 1 4)
    (call 8 read 1 si)
    (put.Ai.unsafe.Yn 2 5)
    (put.Ai.void 1)
    (call 7 prompt 2 si)
    (put.Ai.unsafe.Yn 1 4)
    (call 6 execute←command 1 si)
    (put.Ai.unsafe.Yn 1 3)
    (call 5 set←state 1 si)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 set←output 1 si)
    (put.Ai.unsafe.Yn 1 1)
    (depart set←input 1 si)
)

(ASSEMBLE.CLAUSE ( reinitialise 0 si ) 5
    (put.Ai.constant 1 9)
    (execute prolog←event 1 si)
)

(ASSEMBLE.CLAUSE ( consult←init←file 0 si ) 32
    (allocate)
    (call 5 system←solidified 0 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.symbol 1 HOME)
    (call 5 getenv 2 si)
    (put.Ai.variable.Yn 3 1)
    (put.Ai.list 2)
    (unify.symbol prolog%.ini)
    (unify.nil)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 add←file←to←path 3 si)
    (put.Ai.value.Yn 1 1)
    (call 4 file←exists 1 si)
    (body.cut)
    (put.Ai.unsafe.Yn 1 1)
    (depart consult 1 si)
)

(ASSEMBLE.CLAUSE ( consult←init←file 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( listener 1 si ) 4
    (put.Ai.symbol 2 normal)
    (execute listener 2 si)
)

(ASSEMBLE.CLAUSE ( listener 2 si ) 68
    (allocate)
    (get.Ai.variable.Yn 1 6)
    (get.Ai.variable.Yn 2 3)
    (put.Ai.variable.Yn 3 4)
    (put.Ai.variable.Yn 2 5)
    (put.Ai.value.Yn 1 3)
    (call 9 decide←prompt 3 si)
    (call 9 repeat 0 si)
    (call 9 clean←up←clauses 0 si)
    (call 9 trimcore 0 si)
    (call 9 enable←garbage←collector 0 si)
    (call 9 pre←init←debugging 0 si)
    (put.Ai.value.Yn 1 6)
    (call 8 show←state 1 si)
    (put.Ai.symbol 1 user)
    (call 8 nl 1 si)
    (put.Ai.unsafe.Yn 1 5)
    (call 7 setprompt 1 si)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.variable.Yn 2 1)
    (put.Ai.symbol 1 user)
    (call 7 read1 3 si)
    (put.Ai.unsafe.Yn 1 4)
    (call 6 setprompt 1 si)
    (put.Ai.value.Yn 3 3)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (call 3 prove←goal 3 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( toplevel←repeat←prompt 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( decide←prompt 3 si ) 8
    (get.Ai.constant 1 boot)
    (get.Ai.symbol 2 %(boot%)% %?%-% )
    (get.Ai.symbol 3 %|%:% )
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( decide←prompt 3 si ) 5
    (get.Ai.symbol 2 %|% %?%-% )
    (get.Ai.symbol 3 %|%:% )
    (proceed)
)

(ASSEMBLE.CLAUSE ( show←state 1 si ) 73
    (allocate)
    (get.Ai.variable.Yn 1 7)
    (call 12 check←mode←line 0 si)
    (load.choice.point)
    (store.variable.Yn 9)
    (either 12 19)
    (call 12 under←emacs 0 si)
    (load.value.Yn 9)
    (cut.to.choice.point)
    (fail)
    (or.finally)
    (put.Ai.variable.Yn 1 8)
    (call 11 current←module 1 si)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.unsafe.Yn 1 8)
    (call 10 module←mesg 2 si)
    (put.Ai.variable.Yn 2 4)
    (put.Ai.value.Yn 1 7)
    (call 9 level←mesg 2 si)
    (put.Ai.variable.Yn 1 6)
    (call 9 debug←state 1 si)
    (put.Ai.variable.Yn 2 5)
    (put.Ai.unsafe.Yn 1 6)
    (call 8 debug←mesg 2 si)
    (put.Ai.variable.Yn 3 3)
    (put.Ai.unsafe.Yn 2 5)
    (put.Ai.unsafe.Yn 1 4)
    (call 6 conc 3 si)
    (put.Ai.variable.Yn 3 1)
    (put.Ai.unsafe.Yn 2 3)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 conc 3 si)
    (put.Ai.unsafe.Yn 1 1)
    (call 3 present←information 1 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( show←state 1 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( module←mesg 2 si ) 5
    (get.Ai.constant 1 user)
    (get.Ai.nil 2)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( module←mesg 2 si ) 8
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 module 1)
    (unify.local.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( level←mesg 2 si ) 5
    (get.Ai.constant 1 0)
    (get.Ai.nil 2)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( level←mesg 2 si ) 8
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 level 1)
    (unify.local.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( debug←mesg 2 si ) 5
    (get.Ai.constant 1 nodebug)
    (get.Ai.nil 2)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( debug←mesg 2 si ) 8
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.nil)
    (get.Ai.structure 2 debug 1)
    (unify.local.Xn 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( present←information 1 si ) 4
    (get.Ai.constant 1 NIL)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( present←information 1 si ) 22
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (put.Ai.symbol 1 user)
    (call 4 nl 1 si)
    (put.Ai.symbol 1 %[)
    (call 4 display 1 si)
    (put.Ai.value.Yn 1 1)
    (call 3 present←list 1 si)
    (put.Ai.symbol 1 %])
    (depart display 1 si)
)

(ASSEMBLE.CLAUSE ( present←list 1 si ) 4
    (get.Ai.constant 1 NIL)
    (proceed)
)

(ASSEMBLE.CLAUSE ( present←list 1 si ) 6
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.nil)
    (head.cut)
    (execute how←to 1 si)
)

(ASSEMBLE.CLAUSE ( present←list 1 si ) 17
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (call 4 how←to 1 si)
    (put.Ai.constant 1 32)
    (call 4 put 1 si)
    (put.Ai.value.Yn 1 1)
    (depart present←list 1 si)
)

(ASSEMBLE.CLAUSE ( how←to 1 si ) 6
    (get.Ai.structure 1 module 1)
    (unify.variable.Xn 1)
    (execute display 1 si)
)

(ASSEMBLE.CLAUSE ( how←to 1 si ) 6
    (get.Ai.structure 1 level 1)
    (unify.variable.Xn 1)
    (execute display 1 si)
)

(ASSEMBLE.CLAUSE ( how←to 1 si ) 6
    (get.Ai.structure 1 debug 1)
    (unify.variable.Xn 1)
    (execute display 1 si)
)

(ASSEMBLE.CLAUSE ( prove←goal 3 si ) 14
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (put.Ai.value.Yn 1 1)
    (is.a 1)
    (body.cut)
    (put.Ai.value.Yn 2 1)
    (put.Ai.constant 1 340)
    (depart nerror 2 si)
)

(ASSEMBLE.CLAUSE ( prove←goal 3 si ) 4
    (get.Ai.constant 1 end←of←file)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( prove←goal 3 si ) 5
    (allocate)
    (call 3 execute←question 3 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( execute←command 1 si ) 7
    (get.Ai.structure 1 %:%- 1)
    (unify.variable.Xn 1)
    (head.cut)
    (execute execute←command 1 si)
)

(ASSEMBLE.CLAUSE ( execute←command 1 si ) 7
    (get.Ai.structure 1 %?%- 1)
    (unify.variable.Xn 1)
    (head.cut)
    (execute execute←question 1 si)
)

(ASSEMBLE.CLAUSE ( execute←command 1 si ) 12
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (call 4 init←no←debugging 0 si)
    (put.Ai.value.Yn 1 1)
    (call 3 call 1 interp)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( execute←command 1 si ) 9
    (put.Ai.list 3)
    (unify.local.Xn 1)
    (unify.nil)
    (put.Ai.symbol 2 %[Warning%,% goal% failed%:% % %:%-% %~q%]%~n)
    (put.Ai.symbol 1 user)
    (execute format 3 format)
)

(ASSEMBLE.CLAUSE ( execute←question 1 si ) 5
    (put.Ai.symbol 3 normal)
    (put.Ai.nil 2)
    (execute execute←question 3 si)
)

(ASSEMBLE.CLAUSE ( execute←question 3 si ) 7
    (get.Ai.structure 1 %:%- 1)
    (unify.variable.Xn 1)
    (head.cut)
    (execute execute←command 1 si)
)

(ASSEMBLE.CLAUSE ( execute←question 3 si ) 7
    (get.Ai.structure 1 %?%- 1)
    (unify.variable.Xn 1)
    (head.cut)
    (execute execute←question 3 si)
)

(ASSEMBLE.CLAUSE ( execute←question 3 si ) 42
    (allocate)
    (get.Ai.variable.Yn 1 3)
    (get.Ai.variable.Yn 2 1)
    (get.Ai.variable.Yn 3 4)
    (call 7 init←debugging 0 si)
    (put.Ai.variable.Yn 3 2)
    (put.Ai.value.Yn 2 1)
    (put.Ai.value.Yn 1 3)
    (call 7 ordered←term←vars 3 si)
    (put.Ai.value.Yn 2 4)
    (put.Ai.value.Yn 1 3)
    (call 5 call←and←complain 2 si)
    (put.Ai.symbol 1 user)
    (call 5 nl 1 si)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 show←variables 1 si)
    (put.Ai.value.Yn 1 1)
    (call 3 dont←continue 1 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( execute←question 3 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( call←and←complain 2 si ) 4
    (get.Ai.symbol 2 boot)
    (execute boot←call 1 si)
)

(ASSEMBLE.CLAUSE ( call←and←complain 2 si ) 4
    (get.Ai.symbol 2 normal)
    (execute call 1 interp)
)

(ASSEMBLE.CLAUSE ( call←and←complain 2 si ) 12
    (allocate)
    (put.Ai.symbol 1 user)
    (call 3 nl 1 si)
    (put.Ai.symbol 1 no)
    (call 3 display 1 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( dont←continue 1 si ) 4
    (get.Ai.constant 1 NIL)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( dont←continue 1 si ) 31
    (allocate)
    (put.Ai.constant 2 32)
    (put.Ai.symbol 1 user)
    (call 5 put 2 si)
    (call 5 repeat 0 si)
    (put.Ai.variable.Yn 1 2)
    (call 5 ttyeol←get 1 si)
    (put.Ai.variable.Yn 2 1)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 ok←char 2 si)
    (body.cut)
    (put.Ai.unsafe.Yn 1 1)
    (get.Ai.constant 1 yes)
    (progress)
)

(ASSEMBLE.CLAUSE ( ok←char 2 si ) 6
    (get.Ai.constant 1 59)
    (get.Ai.symbol 2 no)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( ok←char 2 si ) 6
    (get.Ai.constant 1 13)
    (get.Ai.symbol 2 yes)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( ok←char 2 si ) 7
    (allocate)
    (put.Ai.symbol 1 Action% %(%"%;%"% for% more% choices%,% otherwise% %<return%>%)%:% )
    (call 3 display 1 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 3 si ) 15
    (allocate)
    (get.Ai.variable.Yn 3 2)
    (put.Ai.nil 4)
    (put.Ai.variable.Yn 3 1)
    (call 5 ordered←term←vars 4 si)
    (put.Ai.value.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (depart strip←redundant←vars 2 si)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 4 si ) 23
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 2)
    (get.Ai.list 3)
    (unify.variable.Yn 3)
    (unify.variable.Xn 1)
    (get.Ai.value.Xn 4 1)
    (put.Ai.value.Yn 1 1)
    (is.a 1)
    (put.Ai.value.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (call 3 var←assq 3 si)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 4 si ) 5
    (get.Ai.value.Xn 4 3)
    (allocate)
    (is.a 1)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 4 si ) 5
    (get.Ai.value.Xn 4 3)
    (allocate)
    (is.a 248)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 4 si ) 11
    (put.Ai.value.Xn 5 4)
    (put.Ai.value.Xn 4 3)
    (put.Ai.value.Xn 3 2)
    (put.Ai.constant 2 1)
    (execute ordered←term←vars 5 si)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 5 si ) 35
    (allocate)
    (get.Ai.variable.Yn 1 6)
    (get.Ai.variable.Yn 2 5)
    (get.Ai.variable.Yn 3 2)
    (get.Ai.variable.Yn 4 3)
    (get.Ai.variable.Yn 5 4)
    (put.Ai.value.Yn 3 5)
    (put.Ai.void 2)
    (put.Ai.value.Yn 1 6)
    (functor)
    (body.cut)
    (put.Ai.variable.Yn 3 1)
    (put.Ai.value.Yn 2 6)
    (put.Ai.value.Yn 1 5)
    (arg)
    (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 ordered←term←vars 4 si)
)

(ASSEMBLE.CLAUSE ( ordered←term←vars 5 si ) 43
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 5)
    (get.Ai.variable.Yn 3 2)
    (get.Ai.variable.Yn 4 7)
    (get.Ai.variable.Yn 5 4)
    (put.Ai.variable.Yn 3 6)
    (put.Ai.value.Yn 2 1)
    (put.Ai.value.Yn 1 5)
    (arg)
    (put.Ai.variable.Yn 4 3)
    (put.Ai.value.Yn 3 7)
    (put.Ai.value.Yn 2 2)
    (put.Ai.unsafe.Yn 1 6)
    (call 8 ordered←term←vars 4 si)
    (load.value.Yn 5)
    (add.pos.word 1)
    (store.variable.Xn 2)
    (put.Ai.value.Yn 5 4)
    (put.Ai.unsafe.Yn 4 3)
    (put.Ai.value.Yn 3 2)
    (put.Ai.value.Yn 1 1)
    (depart ordered←term←vars 5 si)
)

(ASSEMBLE.CLAUSE ( var←assq 3 si ) 19
    (get.Ai.list 2)
    (unify.variable.Xn 2)
    (unify.void 1)
    (get.Ai.structure 2 %= 2)
    (unify.variable.Xn 4)
    (unify.variable.Xn 2)
    (get.Ai.structure 3 %= 2)
    (unify.value.Xn 4)
    (unify.local.Xn 1)
    (allocate)
    (compare)
    (load.pos.word 0)
    (equal.to)
    (depart.cut)
)

(ASSEMBLE.CLAUSE ( var←assq 3 si ) 5
    (get.Ai.list 2)
    (unify.void 1)
    (unify.variable.Xn 2)
    (execute var←assq 3 si)
)

(ASSEMBLE.CLAUSE ( strip←redundant←vars 2 si ) 5
    (put.Ai.value.Xn 3 2)
    (put.Ai.nil 2)
    (execute strip←redundant←vars 3 si)
)

(ASSEMBLE.CLAUSE ( strip←redundant←vars 3 si ) 5
    (get.Ai.constant 1 NIL)
    (get.Ai.nil 3)
    (proceed)
)

(ASSEMBLE.CLAUSE ( strip←redundant←vars 3 si ) 27
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (get.Ai.structure 1 %= 2)
    (unify.variable.Xn 1)
    (unify.void 1)
    (get.Ai.variable.Yn 2 2)
    (get.Ai.variable.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (call 6 member 2 si)
    (body.cut)
    (put.Ai.value.Yn 3 3)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart strip←redundant←vars 3 si)
)

(ASSEMBLE.CLAUSE ( strip←redundant←vars 3 si ) 23
    (get.Ai.list 1)
    (unify.variable.Xn 4)
    (unify.variable.Xn 1)
    (get.Ai.structure 4 %= 2)
    (unify.variable.Xn 5)
    (unify.variable.Xn 6)
    (put.Ai.value.Xn 4 2)
    (get.Ai.list 3)
    (unify.variable.Xn 2)
    (unify.variable.Xn 3)
    (get.Ai.structure 2 %= 2)
    (unify.value.Xn 5)
    (unify.value.Xn 6)
    (put.Ai.list 2)
    (unify.value.Xn 5)
    (unify.local.Xn 4)
    (execute strip←redundant←vars 3 si)
)

(ASSEMBLE.CLAUSE ( show←variables 1 si ) 10
    (get.Ai.constant 1 NIL)
    (head.cut)
    (put.Ai.symbol 2 yes)
    (put.Ai.symbol 1 user)
    (execute write 2 si)
)

(ASSEMBLE.CLAUSE ( show←variables 1 si ) 31
    (allocate)
    (get.Ai.variable.Yn 1 3)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 3)
    (call 6 equivalence←classes 2 si)
    (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.value.Yn 2 3)
    (put.Ai.unsafe.Yn 1 2)
    (call 4 show←classes 2 si)
    (put.Ai.unsafe.Yn 1 1)
    (depart set←output 1 si)
)

(ASSEMBLE.CLAUSE ( show←classes 2 si ) 4
    (get.Ai.constant 1 NIL)
    (proceed)
)

(ASSEMBLE.CLAUSE ( show←classes 2 si ) 32
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (get.Ai.structure 1 class 2)
    (unify.variable.Xn 1)
    (unify.variable.Yn 3)
    (get.Ai.variable.Yn 2 2)
    (call 6 print←vars 1 si)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 3)
    (call 5 print←binding 2 si)
    (put.Ai.value.Yn 1 1)
    (call 5 punctuate←after←binding 1 si)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart show←classes 2 si)
)

(ASSEMBLE.CLAUSE ( punctuate←after←binding 1 si ) 4
    (get.Ai.constant 1 NIL)
    (cut.proceed)
)

(ASSEMBLE.CLAUSE ( punctuate←after←binding 1 si ) 9
    (allocate)
    (load.pos.word 44)
    (store.variable.Xn 1)
    (call 3 put 1 si)
    (depart nl 0 si)
)

(ASSEMBLE.CLAUSE ( print←vars 1 si ) 4
    (get.Ai.constant 1 NIL)
    (proceed)
)

(ASSEMBLE.CLAUSE ( print←vars 1 si ) 16
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (call 4 print←variable←name 1 si)
    (put.Ai.symbol 1 % %=% )
    (call 4 write 1 si)
    (put.Ai.value.Yn 1 1)
    (depart print←vars 1 si)
)

(ASSEMBLE.CLAUSE ( print←binding 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 printq 1 si)
)

(ASSEMBLE.CLAUSE ( print←binding 2 si ) 8
    (put.Ai.value.Xn 3 2)
    (put.Ai.value.Xn 2 1)
    (put.Ai.symbol 1 current)
    (execute printq 3 si)
)

(ASSEMBLE.CLAUSE ( equivalence←classes 2 si ) 5
    (get.Ai.constant 1 NIL)
    (get.Ai.nil 2)
    (proceed)
)

(ASSEMBLE.CLAUSE ( equivalence←classes 2 si ) 20
    (get.Ai.list 1)
    (unify.variable.Xn 1)
    (unify.variable.Xn 5)
    (get.Ai.list 2)
    (unify.variable.Xn 3)
    (allocate)
    (unify.variable.Yn 2)
    (put.Ai.variable.Yn 4 1)
    (put.Ai.value.Xn 2 5)
    (call 5 sectionize 4 si)
    (put.Ai.value.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (depart equivalence←classes 2 si)
)

(ASSEMBLE.CLAUSE ( sectionize 4 si ) 15
    (get.Ai.structure 1 %= 2)
    (unify.variable.Xn 5)
    (unify.variable.Xn 1)
    (get.Ai.structure 3 class 2)
    (unify.variable.Xn 3)
    (unify.value.Xn 1)
    (get.Ai.list 3)
    (unify.value.Xn 5)
    (unify.variable.Xn 3)
    (execute sectionize1 4 si)
)

(ASSEMBLE.CLAUSE ( sectionize1 4 si ) 4
    (get.Ai.nil 2)
    (get.Ai.nil 3)
    (get.Ai.nil 4)
    (proceed)
)

(ASSEMBLE.CLAUSE ( sectionize1 4 si ) 33
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.list 2)
    (unify.variable.Xn 1)
    (unify.variable.Yn 2)
    (get.Ai.structure 1 %= 2)
    (unify.variable.Xn 1)
    (unify.variable.Xn 2)
    (get.Ai.list 3)
    (unify.value.Xn 1)
    (unify.variable.Yn 3)
    (get.Ai.variable.Yn 4 4)
    (put.Ai.value.Yn 1 1)
    (compare)
    (load.pos.word 0)
    (equal.to)
    (body.cut)
    (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 sectionize1 4 si)
)

(ASSEMBLE.CLAUSE ( sectionize1 4 si ) 18
    (get.Ai.list 2)
    (unify.variable.Xn 5)
    (unify.variable.Xn 2)
    (get.Ai.structure 5 %= 2)
    (unify.variable.Xn 6)
    (unify.variable.Xn 5)
    (get.Ai.list 4)
    (unify.variable.Xn 7)
    (unify.variable.Xn 4)
    (get.Ai.structure 7 %= 2)
    (unify.value.Xn 6)
    (unify.value.Xn 5)
    (execute sectionize1 4 si)
)

(ASSEMBLE.CLAUSE ( run←abort←handler 0 si ) 16
    (allocate)
    (put.Ai.symbol 1 user)
    (call 3 set←input 1 si)
    (put.Ai.symbol 1 user)
    (call 3 set←output 1 si)
    (call 3 abolish←loadcode←facts 0 si)
    (depart abolish←setof←facts 0 si)
)

(ASSEMBLE.CLAUSE ( boot←call 1 si ) 14
    (get.Ai.structure 1 %, 2)
    (unify.variable.Xn 1)
    (allocate)
    (unify.variable.Yn 1)
    (head.cut)
    (call 4 boot←call 1 si)
    (put.Ai.value.Yn 1 1)
    (depart boot←call 1 si)
)

(ASSEMBLE.CLAUSE ( boot←call 1 si ) 7
    (get.Ai.structure 1 %; 2)
    (unify.variable.Xn 1)
    (unify.void 1)
    (execute boot←call 1 si)
)

(ASSEMBLE.CLAUSE ( boot←call 1 si ) 8
    (get.Ai.structure 1 %; 2)
    (unify.void 1)
    (unify.variable.Xn 1)
    (head.cut)
    (execute boot←call 1 si)
)

(ASSEMBLE.CLAUSE ( boot←call 1 si ) 14
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (put.Ai.variable.Yn 1 2)
    (call 5 current←module 1 si)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart call←direct 2 interp)
)

(ASSEMBLE.CLAUSE ( version 1 si ) 15
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (put.Ai.value.Yn 1 1)
    (is.a 128)
    (body.cut)
    (put.Ai.symbol 2 si)
    (put.Ai.structure 1 user←message 1)
    (unify.local.Yn 1)
    (depart assertz←module 2 si)
)

(ASSEMBLE.CLAUSE ( version 1 si ) 9
    (put.Ai.structure 2 version 1)
    (unify.local.Xn 1)
    (put.Ai.constant 1 341)
    (execute nerror 2 si)
)

(ASSEMBLE.CLAUSE ( solidify←for←xerox 0 si ) 25
    (allocate)
    (gettopval QP%.SYSTEM%.SOLIDIFIED)
    (store.integer 0)
    (put.Ai.symbol 2 si)
    (put.Ai.symbol 1 clear←out←database←for←xerox)
    (call 3 with←waiting←cursor 2 si)
    (put.Ai.void 3)
    (put.Ai.nil 2)
    (put.Ai.symbol 1 QP%.INIT%.IO)
    (call 3 lisp←apply 3 si)
    (load.pos.word 1)
    (settopval QP%.SYSTEM%.SOLIDIFIED)
    (progress)
)

(ASSEMBLE.CLAUSE ( solidify←for←xerox 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( clear←out←database←for←xerox 0 si ) 36
    (allocate)
    (call 3 abolish←user←preds 0 si)
    (call 3 abolish←record←preds 0 si)
    (call 3 abolish←record←on←int←preds 0 si)
    (call 3 abolish←user←operators 0 si)
    (call 3 init←system 0 si)
    (put.Ai.symbol 1 user)
    (call 3 module 1 si)
    (put.Ai.structure 3 library←directory 1)
    (unify.variable.Xn 1)
    (put.Ai.structure 2 library←directory1 1)
    (unify.value.Xn 1)
    (put.Ai.structure 1 %:%- 2)
    (unify.value.Xn 3)
    (unify.value.Xn 2)
    (depart assert 1 si)
)

(ASSEMBLE.CLAUSE ( library←directory1 1 si ) 16
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.symbol 1 PROLOGLIBRARYDIRECTORIES)
    (call 5 gettopval 2 si)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart member 2 si)
)

(ASSEMBLE.CLAUSE ( system←solidified 0 si ) 6
    (gettopval QP%.SYSTEM%.SOLIDIFIED)
    (store.integer 1)
    (proceed)
)

(ASSEMBLE.CLAUSE ( abolish←user←preds 0 si ) 20
    (allocate)
    (put.Ai.symbol 3 user)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.variable.Yn 1 1)
    (call 5 current←predicate 3 si)
    (put.Ai.symbol 3 user)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (call 3 abolish 3 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( abolish←user←preds 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( abolish←record←preds 0 si ) 20
    (allocate)
    (put.Ai.symbol 3 %$record)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.variable.Yn 1 1)
    (call 5 current←predicate 3 si)
    (put.Ai.symbol 3 %$record)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (call 3 abolish 3 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( abolish←record←preds 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( abolish←record←on←int←preds 0 si ) 20
    (allocate)
    (put.Ai.symbol 3 %$record% on% int)
    (put.Ai.variable.Yn 2 2)
    (put.Ai.variable.Yn 1 1)
    (call 5 current←predicate 3 si)
    (put.Ai.symbol 3 %$record% on% int)
    (put.Ai.unsafe.Yn 2 2)
    (put.Ai.unsafe.Yn 1 1)
    (call 3 abolish 3 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( abolish←record←on←int←preds 0 si ) 1
    (proceed)
)

(ASSEMBLE.CLAUSE ( abolish←user←operators 0 si ) 11
    (allocate)
    (put.Ai.symbol 2 si)
    (put.Ai.structure 1 user←operator 3)
    (unify.void 3)
    (call 3 retract←module 2 si)
    (fail)
)

(ASSEMBLE.CLAUSE ( abolish←user←operators 0 si ) 1
    (proceed)
)

STOP