prolog - Prolog プログラムが false を返す

Question

Prolog に次の電源プログラムを実装しました。

puissance(_,0,1).
puissance(X,N,P) :- N>0,A is N-1, puissance(X,A,Z), P is Z*X.

コードは本来の動作を行いますが、正しい答えの後に "false." を出力します。理由がわかりません。私はswi-prologを使用しています。