Prolog实现输入X输出所有和为X的数值对的问题求解

你的两种写法失效的原因很明确：

• 第一种用=是结构匹配而非算术比较，X1 + X2 = X实际是判断+(X1,X2)这个结构是否等于X，自然不成立；
• 第二种用is要求右侧表达式的所有变量必须先实例化，未绑定的X1、X2会直接触发错误。

下面是两种可行的解决方案：

方法1：使用CLP(FD)约束逻辑编程（推荐） #

CLP(FD)是Prolog处理整数算术约束的标准工具，支持部分实例化变量，能自动生成所有解。以SWI-Prolog为例：

:- use_module(library(clpfd)).

sum_pairs(X, X1, X2) :-
    X1 + X2 #= X.

• 查询示例：sum_pairs(5, X1, X2)，回溯可得到所有整数解（包括正负）；
• 如需限定范围（比如非负整数），可添加约束：X1 in 0..X, X2 in 0..X，这样只会生成(0,5),(1,4)...(5,0)这类解。

方法2：手动枚举范围（无CLP依赖） #

如果不想用CLP库，可以通过枚举X1的可能值，再计算对应的X2。比如限定为非负整数：

sum_pairs(X, X1, X2) :-
    integer(X),  % 确保X是实例化的整数
    between(0, X, X1),  % 枚举X1从0到X的所有整数
    X2 is X - X1.  % 计算对应的X2

• 若需要包含负数，调整between的范围即可，比如between(-10, 10, X1)（但范围必须有限，否则会无限回溯）。

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