retract(p(X)),b,write(X)?
;
;

