Prolog基础素性测试谓词问题：isPrime/1无法判断大于2的素数

核心错误点 #

1. 运算符优先级错误：Prolog中mod的优先级高于减法，所以X mod Y-1会被解释为(X mod Y) - 1，而非你预期的X mod (Y-1)。以X=3,Y=3为例，计算结果是(3 mod3)-1 = 0-1 = -1，显然-1>0不成立，直接导致递归分支失败。
2. 递归逻辑偏差：你的primeRec试图检查X与Y-1的取模结果，但素数判断的核心是确保所有小于X且大于1的正整数都不能整除X，你的逻辑没有直接检查Y是否能整除X，而是错误地检查Y-1，即便修复优先级，也会漏掉关键的因数判断。
3. 变量查询的特性限制：当你执行?- isPrime(X)时，Prolog首先会返回X=2（匹配第一个isPrime/1子句），但后续尝试匹配第二个子句时，未绑定的变量X无法完成算术运算（比如X>1、X mod2>0），所以会返回false——这是Prolog的特性，不是代码逻辑错误（前提是代码对具体数字能正确判断）。

修正后的代码 #

以下是修复了优先级问题并调整递归逻辑的版本，同时加入效率优化（只检查到X的平方根，避免不必要的递归）：

% 辅助谓词：检查X是否不能被从2到Y的数整除
primeRec(X, Y) :-
    Y * Y > X, !. % 优化：若Y的平方大于X，说明无因数，判定为素数
primeRec(X, Y) :-
    X mod Y =\= 0, % 当前Y不能整除X
    NextY is Y + 1,
    primeRec(X, NextY).

% 基础情况
isPrime(2).
isPrime(3).
% 大于3的素数必须是奇数，且无2到sqrt(X)之间的因数
isPrime(X) :-
    X > 3,
    X mod 2 =\= 0,
    primeRec(X, 2).

测试验证 #

• 查询具体素数：?- isPrime(3). 会返回true，?- isPrime(9). 返回false
• 查询变量：?- isPrime(X). 首先返回X=2，按;会依次返回X=3、X=5、X=7等素数（修正后的代码支持生成符合条件的素数）

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