p(a(_N), R) :- R = g(f(a), "b").