Prologで作る数学の世界―Prologそして集合‐位相‐群の第３章の問題。arctanを定義してπの近似値を求めろ。最初に書いた効率の悪いやつもつけて % 普通の再帰 atn(X, N, Sum) :- N > 0, (N mod 2 =:= 1 -> Sum1 is X ** (N * 2 - 1) / (N * 2 - 1) ; Sum1 is -…