如何在Prolog中实现自定义范围的嵌套循环输出三元变量

Prolog是声明式语言，没有传统的“循环”语法，而是通过回溯机制枚举所有可能的变量值组合。要实现类似Python三层range循环的效果，用SWI-Prolog内置的between/3谓词就能轻松搞定。

实现代码 #

假设你需要的变量范围是：A取1-3、B取2-4、C取3-5（可根据需求自行修改），定义out/3谓词如下：

out(A, B, C) :-
    between(1, 3, A),  % 生成A的所有取值：1、2、3
    between(2, 4, B),  % 生成B的所有取值：2、3、4
    between(3, 5, C),  % 生成C的所有取值：3、4、5
    format('~w ~w ~w~n', [A, B, C]).  % 每行输出一组组合

使用方式 #

在SWI-Prolog交互环境中输入查询：

out(A, B, C).

执行后会直接输出所有组合，和Python三层嵌套range循环的输出完全一致：

1 2 3
1 2 4
1 2 5
1 3 3
1 3 4
1 3 5
1 4 3
1 4 4
1 4 5
2 2 3
...
3 4 5

关键说明 #

1. between/3的作用：这个内置谓词会生成Low到High之间的所有整数（包含两端），每次回溯时返回下一个值，自动实现“循环”的枚举效果。
2. 自定义范围：修改between的前两个参数即可调整变量范围，比如让A取0到5，就改成between(0, 5, A)。
3. 仅生成组合不打印：如果不需要直接输出，只想获取组合供后续逻辑使用，可以去掉format行，查询时Prolog会逐个返回变量绑定结果，用;可以手动切换到下一个组合：

   out(A, B, C) :-
       between(1, 3, A),
       between(2, 4, B),
       between(3, 5, C).
   

   查询结果示例：

   A = 1, B = 2, C = 3 ;
   A = 1, B = 2, C = 4 ;
   ...
   

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