Prolog程序始终返回第一条规则结果问题排查求助

核心问题1：查询顺序逻辑错误 #

你当前的查询语句risk(X),driver_age(young),gender(male),accident_history(no).执行顺序存在问题：

• Prolog按从左到右的顺序执行目标，先匹配risk(X)时，会优先匹配第一条risk(high)规则，此时它的子目标driver_age(young),gender(male),accident_history(yes)能找到对应的事实（你声明了所有可能的属性事实），所以risk(high)会被成功绑定。
• 后面的driver_age(young),gender(male),accident_history(no)是独立的验证目标，这些事实本身存在，所以整个查询会返回X=high，完全忽略了你期望的约束条件和风险等级的对应关系。

核心问题2：规则重复逻辑错误 #

你的risk(mid)和risk(low)规则条件完全一致（都是driver_age(young),gender(male),accident_history(no)），这会导致符合该条件时，Prolog会同时返回mid和low两个结果，不符合风险等级划分的逻辑。

修正方案 #

1. 调整查询顺序 #

把属性约束放在risk(X)之前，让Prolog先确定当前的属性，再匹配对应的风险等级：

driver_age(young), gender(male), accident_history(no), risk(X).

这样执行时，Prolog会先锁定young、male、no这些属性，再去匹配risk(X)的规则，只会找到符合该属性组合的风险等级。

2. 修正重复的规则 #

重新定义不同风险等级的专属条件，示例如下（你可根据实际需求调整）：

driver_age(young).
driver_age(middle).
driver_age(old).

accident_history(yes).
accident_history(no).

gender(male).
gender(female).

risk(high) :- 
   driver_age(young),
   gender(male),
   accident_history(yes).

risk(mid) :- 
   driver_age(young),
   gender(male),
   accident_history(no);
   driver_age(middle),
   gender(male),
   accident_history(yes).

risk(low) :- 
   driver_age(young),
   gender(female),
   accident_history(no);
   driver_age(old),
   accident_history(no).

内容的提问来源于stack exchange，提问作者Ṣuṕer Twister