prolog:goal_expansion/3

prolog:goal_expansion( :G,+ M,- NG)*