export anc1(f).
@no_preprocessing +.
@sup_magic_indexing -.
@sup_magic +.
@existential +.
@factoring -.
@factor_magic -.
@magic -.
@no_rewriting +.
@ordered_search -.
@save_module -.
@pipelining -.
@check_subsumption +.
@multiset -.
@index_deltas +.
@return_unify -.
@convert_functions -.
@non_ground_facts +.
@eager_eval +.
@psn -.
end_module.

export anc(bf).
@no_preprocessing +.
@sup_magic_indexing -.
@sup_magic +.
@existential +.
@factoring -.
@factor_magic -.
@magic -.
@no_rewriting +.
@ordered_search -.
@save_module -.
@pipelining -.
@check_subsumption +.
@multiset -.
@index_deltas +.
@return_unify -.
@convert_functions -.
@non_ground_facts +.
@eager_eval +.
@psn -.
end_module.

