Prolog实现Zm环中X+Y=Z三元组时遇参数未充分实例化问题

错误原因 #

1. 变量未实例化：调用plus(_,_,_)时，X、Y都是未绑定的变量，而Prolog的is/2谓词要求右侧表达式中的所有变量必须是具体值，mod(X,M)里的X是变量，直接触发"Arguments are not sufficiently instantiated"错误。
2. 交互式输入设计不合理：read(M)放在谓词内部，每次调用都会要求手动输入M，无法自动生成环Zm中所有满足条件的三元组，完全不符合需求。

修正方案 #

把环的阶数M作为参数传入谓词，同时枚举Zm中的所有元素（0到M-1），自动计算对应的Z值。

1. 辅助谓词：生成Zm中的元素 #

先定义一个辅助谓词，用来生成0到M-1之间的所有整数：

element(M, X) :- between(0, M-1, X).

between/3是Prolog内置谓词，会依次生成从第一个参数到第二个参数的所有整数。

2. 修正后的plus谓词 #

plus(M, X, Y, Z) :-
    element(M, X),
    element(M, Y),
    Z is (X + Y) mod M.

这个谓词会枚举Zm中所有X、Y的组合，计算对应的Z值，自动返回所有满足X+Y≡Z mod M的三元组。

3. 修正后的times谓词 #

同理，乘法谓词可以写成：

times(M, X, Y, Z) :-
    element(M, X),
    element(M, Y),
    Z is (X * Y) mod M.

使用示例 #

比如要获取Z₅中的所有加法三元组，直接调用：

plus(5, X, Y, Z).

Prolog会逐个返回所有满足条件的结果，例如：

X = 0, Y = 0, Z = 0 ;
X = 0, Y = 1, Z = 1 ;
X = 0, Y = 2, Z = 2 ;
...
X = 4, Y = 4, Z = 3.

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