求助：使用Oz语言实现尾递归素数判断函数

原代码的核心问题 #

• 条件逻辑混乱：第二个分支X<2 andthen ((X mod D)==0) andthen D <= X完全错误，X<2本身就不是素数，直接返回0即可，不需要额外判断取模；且andthen的顺序不合理，X<2时后续判断无意义。
• 错误的提前返回：第三个分支((X mod D)\=0) then 1会导致误判，比如X=9、D=2时，9 mod2≠0会直接返回1，错误判定9是素数。
• 缺失递归终止条件：当D增长到超过X的平方根（或X/2）时，没有终止逻辑，会导致不必要的递归甚至无限递归。
• 初始调用参数错误：调用{PrimeR 6 1}时D=1，任何整数mod1都为0，会让递归逻辑一开始就走错误分支。

修正后的尾递归实现 #

declare
fun {PrimeR X D}
   if X == 2 orelse X == 3 then true
   elseif X < 2 orelse (X mod 2 == 0) then false
   elseif D * D > X then true
   elseif X mod D == 0 then false
   else {PrimeR X D + 2}
   end
end

-- 对外封装的入口函数，避免用户传入错误的初始D值
fun {IsPrime X}
   {PrimeR X 3}
end

{Browse {IsPrime 6}}   -- 输出false
{Browse {IsPrime 7}}   -- 输出true

改进说明 #

• 优化条件顺序：先处理特殊值（2、3）和明显非素数的情况（X<2、偶数），减少后续递归次数。
• 合理终止条件：当D*D > X时，说明X没有任何因数，直接返回true，避免不必要的递归。
• 跳过偶数除数：从D=3开始，每次递归D+2，只检查奇数除数，减少一半的递归次数。
• 封装入口函数：提供IsPrime函数作为对外接口，用户只需传入待判断数值，无需关心递归初始除数，降低使用门槛。
• 采用布尔返回值：用true/false替代1/0，更符合Oz语言语义，可读性更强。

内容的提问来源于stack exchange，提问作者Omar Gamal