(= (f $x) (* $x $x))

% t(f,_x,Res):- Res #= (_x * _x).

!(f 1)

% ?- t(f,1,Res)