二時間くらいかかっているorz 戦略は大きいほうから順に回文数を探し、因子を探していくというもの。ごく普通のもの。 split_at(N, [Lcar | Lcdr], [Lcar | F], R) :- N > 0, N1 is N - 1, split_at(N1, Lcdr, F, R), !. split_at(_, [], [], []). split_at(…

違いを理解していなくてはまった。Aとaを関連付けしたかった。でもこれはできない | ?- A is a, B is A. A is a, B is A. uncaught exception: error(type_error(evaluable,a/0),(is)/2) | ?- こういう、atomを関連付ける場合は=を利用する。 | ?- A = a, B …