00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode supplementary_tabling(?,?).
00005 :- mode lists_to_bodies(?,?).
00006 :- mode edb_dependencies(?,?,?,++,?,?).
00007 :- mode cv(?,?,?).
00008 :- mode cv(?,?).
00009 :- mode suppl_fold(?,?,?,?,?,?,?,?).
00010 :- mode clause_dependency(?,?,?,?).
00011 :- mode needed(?,?).
00012 :- mode pred_edb_dependency(?,?).
00013 :- mode cv2(?,?).
00014 :- mode list_to_body(?,?).
00015 :- mode rbl(?,?,?).
00016 :- mode new_pred(++,?,++,?,?,?).
00017 :- mode 'supplementary tabling'(?,?).
00018 :- mode max(?,?,?).
00019 :- mode pieces(?,++,++,?,?,?).
00020 :- mode pieces(?,++,++,?,?,?,++,?,++).
00021 :- mode pieces(?,++,++,++,?,++,?,++,?).
00022 :- mode args_of_new_goal(?,?,++).
00023 :- mode args_of_new_goals(?,++).
00024 :- mode piece(?,++,++,?,?,?,++,?).
00025 :- mode piece(?,++,++,++,?,?,?,?).
00026 :- mode goal_dep(?,?).
00027 :- mode fold_clause(?,?,++,++,?,?,?,?,?).
00028 :- mode new_preds(?,++,++,?,?,?,?,?).
00029 :- mode cv1(?,?).
00030 :- mode 'supplementary folding'(?,?,?,++).
00031 :- mode can_be_folded(?).
00032
00033 :- '_$mode_pattern'(supplementary_tabling(g,g)).
00034 :- '_$mode_pattern'(supplementary_tabling(ng,ng)).
