Prologで作る数学の世界―Prologそして集合‐位相‐群の第４章の問題。余りを求めろ。 abs(A, B) :- A > 0 -> B is A ; B is -A. % 条件は % A = B * Q + R, 0 <= R < abs(B) % 割る数の絶対値よりも余りが小さい res_q(A = B*Q + R) :- abs(B, B1), Q1 is A //…