来源：https://stackoverflow.com/questions/64048419/how-to-express-ancestor-recursively 标签 recursion prolog transitive-closure
