标签： prolog transitive-closure
我需要帮助才能找到下面的prolog代码：祖先（x，y）只使用is_a（x，y），其中X是Y
与下面的问题相关的图像 animal tree question
