00001 :- mode srcfilename_ext(?). 00002 :- mode list_asserted_code(++). 00003 :- mode debug(++). 00004 :- mode analyze(++). 00005 :- mode analyze. 00006 :- mode mode_analyze(++,++). 00007 :- mode is_in_library(++,?). 00008 :- mode write_all_modes(++). 00009 :- mode load_into_usermod. 00010 :- mode and_lits(?,?,?). 00011 :- mode cvt_to_regular_list(?,?). 00012 :- mode nearest_2n(?,++,?). 00013 :- mode term2decl(?). 00014 :- mode listofvars(?,?,?). 00015 :- mode count_answers(++,++). 00016 :- mode print_stats. 00017 :- mode dump_asserted_code. 00018 :- mode call_user(++). 00019 :- mode ext2int(++,++). 00020 :- mode no_need_to_table(?). 00021 :- mode prop_iff(++,++,++). 00022 :- mode endblab. 00023 :- mode decl_modes(?). 00024 :- mode set_modes_for_failed_preds. 00025 :- mode hdrfilename_ext(?). 00026 :- mode nearest_2n_minus_1(?,?). 00027 :- mode blab(?). 00028 :- mode init_for_load(++). 00029 :- mode analyze_fail_loop. 00030 :- mode define_all. 00031 :- mode decl_exported(?). 00032 :- mode load_imported_preds(++). 00033 :- mode get_init_calls. 00034 :- mode get_init_calls_from_exports. 00035 :- mode dump_local_modes. 00036 :- mode get_call_pattern(++). 00037 :- mode minimum(++,++,++). 00038 :- mode do_declare(?). 00039 :- mode or_lits(?,?,?). 00040 :- mode cleanup_after_analysis. 00041 :- mode default_import(++,++,++). 00042 :- mode conv_mode(++,++). 00043 :- mode canon_head_lit(?,?,?). 00044 :- mode cvt_ands_to_list(?,?,?). 00045 :- mode declare_all_dynamic_preds. 00046 :- mode preprocess(++). 00047 :- mode iffify(?,?,?). 00048 :- mode flat_read_file. 00049 :- mode load_header_file(++). 00050 :- mode ma(++,++). 00051 :- mode declare_undefineds. 00052 :- mode decl_imported(?,?). 00053 :- mode dump_exported_modes. 00054 :- mode construct_ground_call(++,++,++). 00055 :- mode mangle_file_names(++,?,?). 00056 :- mode assert_all. 00057 :- mode make_exports_from_locals. 00058 :- mode get_all_returns(++). 00059 :- mode define_std_preds(++). 00060 :- mode strip_trailing_ext(++,?). 00061 :- mode get_number_of_flat_rules(?). 00062 :- mode conv_modes(++,++). 00063 :- mode canonize_args(?,?,?). 00064 :- mode canon_lit(?,?). 00065 :- mode read_flatten_and_assert. 00066 :- mode ground_list(++,++). 00067 :- mode declfilename_ext(?). 00068 :- mode remove_asserted_stuff. 00069 :- mode init_for_analysis. 00070 :- mode cleanup_for_load. 00071 :- mode undefined_pred(++,++). 00072 :- mode do_assert(++,++). 00073 :- mode dump_pred_modes(++,++). 00074 :- mode min_all_args(++,++,++). 00075 :- mode int2ext(++,++). 00076 :- mode standardize_name(?,?). 00077 :- mode canonize_rule(?). 00078 :- mode find_min(++,++,++). 00079 :- mode min_args(++,++,++). 00080 :- mode get_new_negliteral_name(?). 00081 :- mode listofvars1(?,?,?). 00082 :- mode remove_tabled_stuff. 00083 :- mode get_std_pred_defs(++). 00084 :- mode prolog_file_exists(++). 00085 :- mode declare_all. 00086 :- mode get_calls_from_modes(++,++). 00087 :- mode canon_negated_lit(?,?). 00088 :- mode set_options(++). 00089 :- mode decl(?). 00090 :- mode expand_incl_file_name(++,?). 00091 :- mode canon_term(?,?,?). 00092 00093 :- '_$mode_pattern'(ma(g,g)).