Prolog中如何实现仅2次递归调用的tallerThan查询？

你当前编写的isTallerThan2是无深度限制的传递闭包实现，递归逻辑没有设置终止深度，会顺着关系链一直遍历到末端节点，自然会查到d、e等超过2层的关联对象，和你“只查到c层级、停止后续遍历”的需求不匹配。

要严格控制遍历深度到2跳（对应关系链b比a高、c比b高的层级），可以通过两种方式实现：

方案1：固定层级书写规则（无递归，性能最优） #

因为你只需要最多2跳的关系，不需要写递归逻辑，直接把两层关系规则写死即可，从根源上避免无限遍历：

% 第一层：单步直接关系，比如 b比a高
isTallerWithin2Levels(X,Y) :-
    tallerThan(X,Y).
% 第二层：经过1个中间节点的两步关系，比如 c比b高、b比a高，此时c是目标查询到的最高层级
isTallerWithin2Levels(X,Y) :-
    tallerThan(X,Z),
    tallerThan(Z,Y).

这个实现没有任何递归调用，最多只会顺着关系链走2步，永远不会走到需要3步才能关联的d、e节点，完全匹配你的查询范围要求。

方案2：带递归深度控制的递归实现（严格控制递归调用次数） #

如果要求必须使用递归逻辑，就把「剩余允许的递归次数」作为谓词的参数传入，每触发一次递归就扣减次数，次数耗尽就停止遍历：

% 递归出口：只要还有剩余额度，就匹配基础的tallerThan事实
isTallerWithDepth(X,Y, RemainRecursionTimes) :-
    RemainRecursionTimes >= 0,
    tallerThan(X,Y).
% 递归逻辑：只要还有剩余递归次数，就查找中间节点，扣减剩余次数后继续
isTallerWithDepth(X,Y, RemainRecursionTimes) :-
    RemainRecursionTimes > 0,
    tallerThan(X,Z),
    NextRemain is RemainRecursionTimes - 1,
    isTallerWithDepth(Z,Y, NextRemain).

% 对外查询接口：允许最多1次递归调用（总计最多走2步关系，刚好到c层级）
twoLevelTaller(X,Y) :-
    isTallerWithDepth(X,Y, 1).

参数说明：传入的剩余递归次数设为1时，总遍历深度为2：0次递归对应单步直接关系，1次递归对应两步关系；如果要走到d节点需要至少2次递归，会因为次数不足被直接拦截。

假设你有以下基础事实：

tallerThan(b,a).
tallerThan(c,b).
tallerThan(d,c).
tallerThan(e,d).

用上面的实现查询时，返回的所有关联对仅包含：

• b→a（单步1跳）
• c→b（单步1跳）
• c→a（两步2跳）
• d→c（单步1跳）

完全不会返回d→b、d→a、e开头的跨多跳关联结果，符合你“仅查询到c层级、不继续遍历后续人员”的要求。

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