- replace_goal(?Goal, ?Into, :Expander, +Options)
- replace_term(?Term, ?Into, :Expander, +Options)
- replace_head(?Term, ?Into, :Expander, +Options)
- replace_body(?Term, ?Into, :Expander, +Options)
- replace_term(?Term, ?Into, +Options)
- replace_head(?Term, ?Into, +Options)
- replace_body(?Term, ?Into, +Options)
- replace_sentence(?Term, ?Into, +Options)
- replace_goal(?Goal, ?Into, +Options)
- replace_sentence(?Sentence, ?Into, :Expander, +Options)
- replace(+Scope, ?Term, ?Into, +Options)