00001 % THIS FILE IS AUTOMATICALLY GENERATED. 00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST! 00003 00004 :- mode is_meta_pred(?). 00005 :- mode call_in_meta_pred(?,?). 00006 :- mode table_all_predicates(?). 00007 :- mode path_in_clauses(?,?,?,?). 00008 :- mode path_in_body(?,?,?,?). 00009 :- mode 'greedy choice'(++,++,++,++,++). 00010 :- mode call_in_arg(?,?). 00011 :- mode lp_num(++,++,++,++,++,?). 00012 :- mode 'two way choice'(++,++,?). 00013 :- mode exclude(?,?,?,?). 00014 :- mode path_in_meta_pred_args(?,?,?,?). 00015 :- mode tabling_meta_predicate_exists(?). 00016 :- mode clauses_call_sym(?,?). 00017 :- mode table_to_break_all_loops(++). 00018 :- mode table_in_pred(?). 00019 :- mode call_themselves(?,?,?). 00020 :- mode lp_sym(++,++,++,++,?). 00021 :- mode table_sym_of_arg(?,++,++). 00022 :- mode remove_tabled_preds(?,?). 00023 :- mode 'cheaper table choice'(++,++,++,++,++). 00024 :- mode table_arg(?,++,++). 00025 :- mode perform_table_all(?). 00026 :- mode optimal_sym(++,++,?). 00027 :- mode needs_tabling(?). 00028 :- mode lp(++,++,?). 00029 :- mode path(?,?,?). 00030 :- mode body_calls_sym(?,?). 00031 :- mode decreasing_ground_arg(?,?,++,?). 00032 :- mode goal_arg_smaller(?,?). 00033 :- mode perform_auto_table(?). 00034 :- mode table_preds_in_tabling_meta_preds(?,?,?). 00035 :- mode table_preds_in_tabling_meta_preds(?). 00036 :- mode goal_arg(?,?). 00037 :- mode 'exported choice'(++,++,++,++,++). 00038 :- mode table_it(?). 00039 :- mode table_immediate_recursions(?,?). 00040 :- mode table_in_clause(?). 00041 :- mode proven_terminating(?). 00042 :- mode terminating_body(?,?,?,?). 00043 :- mode path_in_meta_pred_arg(?,?,?,?). 00044 :- mode terminating_clauses(?,?,?). 00045 :- mode var_in_structure(?,?). 00046 00047 :- '_$mode_pattern'(table_it(ng)). 00048 :- '_$mode_pattern'(table_it(g)). 00049 :- '_$mode_pattern'(perform_auto_table(g)). 00050 :- '_$mode_pattern'(perform_auto_table(ng)). 00051 :- '_$mode_pattern'(perform_table_all(g)). 00052 :- '_$mode_pattern'(perform_table_all(ng)). 00053 :- '_$mode_pattern'(call_themselves(g,g,_1117196)). 00054 :- '_$mode_pattern'(call_themselves(ng,g,_1117196)).