解いた。5は手で解いてしまったので飛ばす。 sum_sub(N, M, Acc, Sum) :- N1 is N + 1, Acc1 is N + Acc, sum_sub(N1, M, Acc1, Sum). square_sum(N, M, Sum) :- square_sum_sub(N, M, 0, Sum). square_sum_sub(M, M, Acc, Sum) :- Sum is Acc + M * M. squa…