remove_call(Call, :Expander, :Options) is det

Remove occurrences of Call in the matching term. Note that to be fully effective should be used in conjunction with the option fixpoint(file).

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 rename_variable(Arg1, Arg2, Arg3)

 rename_variables(Arg1, Arg2)

 underscore_singletons(Arg1)

 anonymize_singletons(Arg1)

 anonymize_underscore_multi(Arg1)

 anonymize_all_singletons(Arg1)

 new_name(Arg1, Arg2, Arg3)

 fix_multi_singletons(Arg1)

 anonymize_term_singletons(Arg1, Arg2)

 replace_term_id(Arg1, Arg2, Arg3)

 unfold_goal(Arg1, Arg2)

 rename_predicate(Arg1, Arg2, Arg3)

 rename_functor(Arg1, Arg2, Arg3)

 remove_useless_exports(Arg1)

 remove_underscore_multi(Arg1)

 replace_conjunction(Arg1, Arg2, Arg3)

 replace_conjunction(Arg1, Arg2, Arg3, Arg4)

 call_to_predicate(Arg1, Arg2, Arg3)

 reformat_sentence(Arg1, Arg2)

 reformat_sentence(Arg1, Arg2, Arg3)

 move_term(Arg1, Arg2, Arg3, Arg4)

 move_term(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)

 remove_call(Arg1, Arg2)