来源：https://stackoverflow.com/questions/63371755/why-does-my-prolog-rule-get-stuck-in-infinite-recursion 标签 recursion prolog transitive-closure failure-slice
