我正在尝试解决：
给出事实，例如
编写一个递归程序，该程序将确定Bob的身高大于George的身高。
到目前为止，我的解决方案是：
taller_than(bob, mike).
taller_than(mike, jim).
taller_than(jim, george).
taller_than(X,Y):-
taller_than(X, Z),
taller_than(Z, Y).
它按预期返回True，但随后达到堆栈限制。我猜我需要一个基本案例，但是我不确定会是什么情况？我的解决方案是否正确？