p([p(a),f(p(b))]) :- p(X),X=1.