Prolog规则中的比较问题：查询第三参数>10000的车辆

嘿，刚接触Prolog很容易踩这个语法坑，我来给你拆解一下～

首先看你的知识库，所有车辆的第三参数（里程数）确实都远大于10000，但你的查询写法不符合Prolog的规则：

你写的错误查询是：

?- car(Z,X,C > 10000,V).

在Prolog里，这个写法是在匹配第三个参数恰好是C > 10000这个结构的car事实，但你的知识库中根本没有这样的事实，所以自然返回false。

正确的做法是，先完整匹配car的四个参数，再用逗号添加条件判断：

?- car(Z,X,C,V), C > 10000.

这样Prolog会先遍历所有car事实，把第三个参数绑定到变量C，然后再检查C > 10000这个条件是否成立。因为所有车辆的里程都满足要求，所以会返回所有匹配的结果。

如果你想一次性收集所有符合条件的车辆，还可以用findall来汇总结果：

?- findall((品牌, 型号, 里程, 价格), (car(品牌, 型号, 里程, 价格), 里程 > 10000), 符合条件的车辆).

最后补个小细节：你知识库最后一条里的www是小写，在Prolog里会被当作原子（常量），如果是不小心写错的品牌名，记得调整成合理的写法哦～

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