pow(X,P,R) :- R is X^P.