:- module(add_subterm, [add_subterm/2]). add_subterm(f(A), g(A)).