>>410
可能な限り仕様どおりに書くのがPrologプログラミングです。
第一引数に数字が来たとき(表現A)、第二引数に表現Bが来るのですから、

henkan(0,0).
henkan(1,s(0)).
henkan(N,s(X)) :- integer(N),N>1, ? , ?.

? は君が考えてください。

普通はinteger(N),N>1,は省略します。私はできるだけ書くように
しています。