求助：如何用Prolog递归实现多面骰子投掷求和功能

问题描述 #

需要用Prolog的递归特性模拟投掷3个六面骰子的求和逻辑，参考阶乘的递归实现思路：

n_factorial(N, F) :- 
  N #> 0,
  F #= N*F1,
  N1 #= N-1,
  n_factorial(N1, F1).

尝试转化时遇到困难，自行编写的roll_dice函数报错且未实现求和功能，习惯其他语言的+=操作，不清楚Prolog中如何实现累加。错误代码如下：

# N = number of dice, S = number of sides, R = result
roll_dice(N, S, R) :-  
  N1 #> 0,
  R = random_between(1, S, R1),
  N1 #= N-1,
  roll_dice(N1, S, R1).

问题分析与解决方案 #

你的代码存在几个关键问题：

• 变量顺序错误：N1 #> 0在N1 #= N-1之前调用，此时N1未被绑定，会引发错误。
• random_between/3用法错误：random_between/3的正确用法是random_between(Min, Max, Result)，而非赋值语句R = random_between(...)。
• 缺少递归终止条件：递归必须有终止分支，否则会无限递归。
• 累加逻辑错误：Prolog变量是不可变的，无法像其他语言那样直接+=，需要通过递归传递中间求和结果来实现累加。

正确的递归实现 #

% 终止条件：0个骰子时，总和为0
roll_dice(0, _, 0).

% 递归步骤：N个骰子的总和 = 1个骰子的结果 + N-1个骰子的总和
roll_dice(N, S, Total) :-
    N > 0,
    random_between(1, S, DieResult),
    N1 is N - 1,
    roll_dice(N1, S, RestTotal),
    Total is DieResult + RestTotal.

代码说明 #

• 终止条件：当骰子数量N=0时，直接返回总和0，结束递归。
• 递归分支：
  1. 先判断N>0，确保进入有效递归分支；
  2. 调用random_between/3生成单个骰子的随机结果；
  3. 计算剩余骰子数量N1 = N-1；
  4. 递归调用roll_dice/3计算剩余N1个骰子的总和RestTotal；
  5. 最后将当前骰子结果与剩余总和相加，得到最终结果Total。

测试示例 #

调用roll_dice(3, 6, R).即可模拟投掷3个六面骰子的求和，每次调用会返回不同的随机结果，比如：

R = 10 ;
R = 7 ;
R = 12.

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