(ASSEMBLE.CLAUSE ( current_module 1 si ) 4
    (get.Ai.constant 1 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( first_top_level 0 si ) 9
    (allocate)
    (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 ) 18
    (allocate)
    (put.Ai.void 3)
    (put.Ai.nil 2)
    (put.Ai.symbol 1 QP%.RESET%.USER%.STREAMS)
    (call 3 lisp_apply 3 si)
    (put.Ai.nil 3)
    (put.Ai.symbol 2 %[% 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 ) 16
    (allocate)
    (put.Ai.void 3)
    (put.Ai.nil 2)
    (put.Ai.symbol 1 QP%.RESET%.USER%.STREAMS)
    (call 3 lisp_apply 3 si)
    (call 3 version 0 si)
    (call 3 consult_init_file 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 ) 37
    (allocate)
    (put.Ai.void 3)
    (put.Ai.nil 2)
    (put.Ai.symbol 1 QP%.RESET%.USER%.STREAMS)
    (call 7 lisp_apply 3 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)
    (depart abort_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 ) 48
    (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 5)
    (put.Ai.structure 4 gettopval 2)
    (unify.symbol PROLOGLIBRARYDIRECTORIES)
    (unify.variable.Xn 2)
    (put.Ai.structure 1 member 2)
    (unify.value.Xn 5)
    (unify.value.Xn 2)
    (put.Ai.structure 2 %, 2)
    (unify.value.Xn 4)
    (unify.value.Xn 1)
    (put.Ai.structure 1 %:%- 2)
    (unify.value.Xn 3)
    (unify.value.Xn 2)
    (depart assert 1 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