p:-X is exp(3),write(X).