某ページのおかげで完璧にバックトラック可能なdivを作ることができた。それを利用して完璧にバックトラックができるmulを作ることができた。それを利用してｒｙ。もうなんでもできるんじゃね？

中国剰余定理の解の探索 メルセンヌ素数の探索 原始根の探索 でFA。後はみっちりと語るのみ。

mulをそのまま使うんじゃなくて解から組合せを探せるように定義してやれば良い。 mul2(X, Y, Z) :- less_eq(X, Z), less_eq(Y, Z), mul(X, Y, Z).これを使えば、答えZに対応するX,Yの組合せを探索できる。しかしZを求めることはできない。 両方同時に実現す…

add(0, Y, Y). add(s(X), Y, s(Z)) :- add(X, Y, Z). mul(0, _, 0). mul(s(X), Y, Z) :- mul(X, Y, Z1), add(Z1, Y, Z).こうした場合に ?- mul(X, Y, s(s(s(s(0))))).これが上手く動かない。ていうか終了しない。traceをじっくり眺めて研究する必要がありそ…