Write a prolog program to generate A^B

domains 
A,B,P = integer
predicates
power(A,B,P)
clauses
power(_,0,1).
power(A,B,P) if power(A,B1,P1) and B=B1+1 and P=A*P1.
goal
write("A:"),readint(A),write("B:"),readint(B),power(A,B,P),write(P).