Received: from solaris.cs.hw.ac.uk (solaris) by brahma.cs.hw.ac.uk; Mon, 29 Aug 88 09:33:30 BST From: Steven Salvini Date: Mon, 29 Aug 88 09:33:10 BST Message-Id: <6668.8808290833@solaris.cs.hw.ac.uk> To: popx@uk.ac.oxford.vax Subject: xref listing ********************************** * PROLOG CROSS REFERENCE LISTING * ********************************** Son of PROTEST PREDICATE FILE CALLED BY acc_do_asserts/7 history.pl do_asserts/8 acc_do_asserts/7 add/3 explore.pl most_likely_first/3 add_to_answers/4 explore.pl forward/1 ante_solve/2 explore.pl forward/1 ante_solve/2 ascertain/3 explore.pl add_to_answers/4 create_soln_tree/9 assert_all/4 history.pl do_asserts/8 acc_do_asserts/7 assert_all/4 assert_non_choices/6 history.pl do_asserts/8 assert_non_choices/6 assign_sym_cert/2 show_answer.pl show_tree2/2 show_tree3/4 aux_anc/6 history.pl assert_non_choices/6 aux_htit/2 main.pl hunt_t_in_triples/2 aux_htitq/2 main.pl aux_htq/2 aux_htq/2 main.pl hunt_target_in_questions/2 aux_htr/2 main.pl hunt_target_in_rules/2 aux_make_OAV_triples/5 explore.pl make_OAV_triples/5 aux_make_OAV_triples/5 aux_mc/2 history.pl maintain_chosen/1 banner/1 utilities.pl title_page/2 bc/1 utilities.pl get_bits/2 between/5 explore.pl NOT CALLED bottom_menu_line/3 history.pl print_menu1/6 centre_title/2 utilities.pl banner/1 check_any_rb_loaded/0 utilities.pl do_main_choice/2 check_file_name/3 utilities.pl get_file_name/3 check_if_OAV/3 explore.pl most_likely_first/3 check_if_OAV/3 check_pause_message/1 utilities.pl pause/1 check_rb_loaded/1 utilities.pl NOT CALLED clause_is_a/2 utilities.pl check_any_rb_loaded/0 show_all_rules/0 show_all_questions/0 explore/4 retract_all/1 clear_screen/0 utilities.pl go/0 main_menu/1 do_main_choice/2 tidy_dynamic_kb/0 do_te_choice/1 report_result_aht/2 do_show_specified_rule/1 show_fact/1 show_question/1 investigate/3 more_investigation/4 trace_usage/2 show_certainty_for_trace/3 title_page/2 object_history/1 do_ph/4 print_menu1/6 user_answer/3 do_explain/2 select_full_diagnoses/1 show_tree1/1 do_command/3 conc/3 utilities.pl clause_is_a/2 conc/3 conc_atom/3 get_base/2 make_OAV_triples/5 most_likely_first/3 conc_atom/3 utilities.pl do_ssr/3 do_ssq/2 create_list/2 show_answer.pl show_tree2/2 show_tree3/4 create_soln_tree/9 explore.pl modify/6 create_soln_tree/9 do_asserts/8 history.pl print_menu1/6 do_asserts/8 do_check_rb_loaded/1 utilities.pl check_any_rb_loaded/0 do_command/3 show_answer.pl show_tree_explain/1 do_command/3 do_explain/2 show_answer.pl explain/1 do_get_base/2 utilities.pl check_rb_loaded/1 get_base/2 do_graemes_bit_about_creating_lists/2 show_answer.pl create_list/2 do_main_choice/2 main.pl main_menu/1 do_ok_reply_yn/2 utilities.pl input_yes_no/1 do_ph/4 history.pl object_history/1 do_sdc/3 show_answer.pl select_full_diagnoses/1 do_show_specified_question/1 main.pl do_ssq/2 do_show_specified_rule/1 main.pl do_ssr/3 do_command/3 do_ssq/2 main.pl show_specified_question/1 do_ssr/3 main.pl show_specified_rule/2 do_te_another/1 main.pl do_te_choice/1 do_te_choice/1 main.pl do_main_choice/2 explain/1 show_answer.pl do_main_choice/2 explore/4 explore.pl explore/4 solve/5 solve_and_mod/8 export/1 utilities.pl NOT CALLED export_clause/2 utilities.pl export/1 find_line_units/3 utilities.pl banner/1 find_line_units/3 flatten/2 show_answer.pl do_graemes_bit_about_creating_lists/2 flatten1/2 show_answer.pl flatten/2 flatten1/2 forward/1 explore.pl forward_group/0 forward/1 forward_group/0 explore.pl forward_solve/2 forward_solve/2 explore.pl investigate/3 found/4 explore.pl explore/4 ante_solve/2 get_base/2 utilities.pl do_check_rb_loaded/1 get_bits/2 utilities.pl banner/1 get_bits/2 get_certainty/2 explore.pl explore/4 get_top_level_derives/3 forward/1 ante_solve/2 solve/5 solve_and_mod/8 assign_sym_cert/2 get_file_name/3 utilities.pl get_base/2 get_more_chars/3 utilities.pl read_string/1 get_more_chars/3 get_most_likely/2 explore.pl goal_in_mind/2 get_top_level_derives/3 explore.pl forward_solve/2 get_top_level_derives/3 get_top_level_goals/1 explore.pl investigate/3 go/0 main.pl goal_in_mind/2 explore.pl investigate/3 greater_than/4 explore.pl NOT CALLED htab/0 utilities.pl show_solve/1 show_certainty_for_trace/3 htab/1 utilities.pl htab/0 htab/2 utilities.pl htab/1 htab/2 hunt_t_in_triples/2 main.pl aux_htr/2 hunt_t_in_triples/2 hunt_target_in_questions/2 main.pl do_te_choice/1 hunt_target_in_questions/2 hunt_target_in_rules/2 main.pl do_te_choice/1 hunt_target_in_rules/2 in_word/3 utilities.pl readword/4 restword/4 input_answer/2 explore.pl get_most_likely/2 input_certainty/2 user_answer.pl do_asserts/8 acc_do_asserts/7 user_answer/3 input_history/0 history.pl do_main_choice/2 input_integer/1 utilities.pl show_specified_rule/2 show_specified_question/1 input_number/3 utilities.pl main_menu/1 do_main_choice/2 print_menu1/6 select_full_diagnoses/1 input_yes_no/1 utilities.pl check_any_rb_loaded/0 check_file_name/3 do_te_choice/1 goal_in_mind/2 more_investigation/4 more_solve/6 object_history/1 explain/1 invert/2 utilities.pl explore/4 between/5 greater_than/4 less_than/4 ante_solve/2 investigate/2 explore.pl do_main_choice/2 investigate/3 explore.pl investigate/2 label_tree/5 explore.pl add_to_answers/4 modify/6 create_soln_tree/9 less_than/4 explore.pl NOT CALLED main_menu/1 main.pl go/0 maintain_chosen/1 history.pl do_asserts/8 make_OAV_triples/4 explore.pl get_top_level_goals/1 make_OAV_triples/4 make_OAV_triples/5 explore.pl make_OAV_triples/5 max/3 utilities.pl explore/4 ante_solve/2 means/3 utilities.pl ok_number/4 ok_integer/2 ok_reply_yn/2 ok_reply_ic/2 member/2 utilities.pl member/2 remove_duplicates/3 aux_htitq/2 input_answer/2 star_if_chosen/1 aux_mc/2 aux_anc/6 min/3 utilities.pl explore/4 ante_solve/2 ascertain/3 modify/6 explore.pl explore/4 modify_rule_cert/3 explore.pl forward/1 solve_and_mod/8 modulus/2 utilities.pl ascertain/3 write_branches/6 more_investigation/4 explore.pl investigate/3 more_solve/6 explore.pl solve/5 most_likely_first/3 explore.pl goal_in_mind/2 more_investigation/4 name_all/2 show_answer.pl do_graemes_bit_about_creating_lists/2 name_all/2 name_all_1/2 show_answer.pl name_all/2 new_prompt/0 utilities.pl go/0 not_askable/4 undefined explore/4 object_history/1 history.pl input_history/0 object_history/1 ok_integer/2 utilities.pl input_integer/1 ok_number/4 utilities.pl input_number/3 ok_reply_ic/2 user_answer.pl input_certainty/2 ok_reply_yn/2 utilities.pl input_yes_no/1 ok_request/2 show_answer.pl show_tree_explain/1 do_command/3 pad_left/3 utilities.pl centre_title/2 pad_left/3 pause/1 utilities.pl check_rb_loaded/1 go/0 do_main_choice/2 do_te_choice/1 report_result_aht/2 aux_htq/2 show_fact/1 show_all_rules/0 show_all_questions/0 show_diff_diag/1 trace_usage/2 show_certainty_for_trace/3 do_asserts/8 show/1 show_tree1/1 do_command/3 pnumber/1 show_answer.pl write_branches/6 print_line_unit/2 utilities.pl find_line_units/3 print_line_unit/2 print_menu1/6 history.pl do_ph/4 user_answer/3 print_menu_lines/3 history.pl show_all_goals/0 print_menu1/6 print_menu_lines/3 process_reply_ic/3 user_answer.pl input_certainty/2 pseudo/3 show_answer.pl ok_request/2 pstring/1 utilities.pl pstring/1 get_file_name/3 show_question/1 title_page/2 title_message_start/1 print_menu1/6 pstring/2 utilities.pl write_nodes/5 pstring/3 utilities.pl pstring/2 pstring/3 read_string/1 utilities.pl NOT CALLED read_word/1 utilities.pl input_number/3 input_integer/1 input_yes_no/1 get_file_name/3 user_answer/3 input_certainty/2 show_tree_explain/1 do_command/3 read_word/2 utilities.pl do_te_choice/1 input_answer/2 readword/4 utilities.pl read_word/1 read_word/2 readword/4 reduce/2 user_answer.pl process_reply_ic/3 remove_duplicates/2 utilities.pl input_history/0 remove_duplicates/3 utilities.pl remove_duplicates/2 remove_duplicates/3 most_likely_first/3 remove_goal/3 explore.pl most_likely_first/3 remove_goal/3 remove_keys/3 show_answer.pl show/1 remove_keys/3 report_result_aht/2 main.pl aux_htr/2 restword/4 utilities.pl readword/4 restword/4 retract_all/1 explore.pl tidy_dynamic_kb/0 more_investigation/4 retract_goal/2 explore.pl add_to_answers/4 retract_unknowns/0 utilities.pl more_investigation/4 reverse/2 utilities.pl most_likely_first/3 sort_answer/2 reverse/3 utilities.pl reverse/2 reverse/3 select_explanation/3 show_answer.pl do_sdc/3 select_explanation/3 select_full_diagnoses/1 show_answer.pl show/1 show/1 show_answer.pl do_explain/2 show_all_facts/0 main.pl do_te_choice/1 show_all_goals/0 main.pl do_te_choice/1 show_all_questions/0 main.pl do_te_choice/1 show_all_rules/0 main.pl do_te_choice/1 show_certainty_for_trace/3 explore.pl NOT CALLED show_conds/1 main.pl show_rule/1 show_conds/1 show_dd_mi/2 explore.pl more_investigation/4 show_diagnosis/3 show_answer.pl select_full_diagnoses/1 show_diagnosis/3 show_diff_diag/1 explore.pl do_main_choice/2 show_dd_mi/2 show_fact/1 main.pl show_all_facts/0 show_question/1 main.pl aux_htq/2 show_all_questions/0 do_show_specified_question/1 show_rule/1 main.pl report_result_aht/2 do_show_specified_rule/1 show_all_rules/0 trace_usage/2 show_certainty_for_trace/3 show_rule_type/1 main.pl show_question/1 show_solve/1 explore.pl show_diff_diag/1 show_solve/1 show_specified_question/1 main.pl do_te_choice/1 show_specified_rule/2 main.pl do_te_choice/1 show_trace/1 user_answer.pl process_reply_ic/3 show_trace/1 show_tree1/1 show_answer.pl show_tree_explain/1 do_command/3 show_tree2/2 show_answer.pl show_tree1/1 show_tree3/4 show_answer.pl show_tree2/2 show_tree_explain/1 show_answer.pl select_explanation/3 show_tree_explain/1 show_values/2 main.pl show_question/1 show_values/2 siblings/3 show_answer.pl show_tree2/2 solve/5 explore.pl investigate/3 more_investigation/4 more_solve/6 solve_and_mod/8 explore.pl modify/6 create_soln_tree/9 sort_answer/2 explore.pl do_main_choice/2 investigate/3 star_if_chosen/1 history.pl print_menu_lines/3 threshold/1 main.pl NOT CALLED tidy_dynamic_kb/0 main.pl do_main_choice/2 title_message_start/1 explore.pl title_page/2 title_page/2 explore.pl go/0 trace_usage/2 explore.pl solve_and_mod/8 use_file/3 utilities.pl check_file_name/3 user_answer/3 user_answer.pl explore/4 video/1 utilities.pl write_caller/1 pause/1 title_page/2 show_tree1/1 pnumber/1 write_prompts/0 width_out/3 show_answer.pl pnumber/1 width_out/3 write_branches/6 show_answer.pl show_tree2/2 show_tree3/4 write_branches/6 write_caller/1 utilities.pl main_menu/1 do_main_choice/2 write_nodes/5 show_answer.pl show_tree2/2 show_tree3/4 write_nodes/5 write_prompts/0 show_answer.pl show_tree_explain/1 do_command/3 writeall/1 explore.pl input_answer/2 writeall/1