prolog查找事实和查询家谱

prolog查找事实和查询家谱,prolog,transitive-closure,Prolog,Transitive Closure,我需要帮助来找到下面的prolog代码:祖先(x,y)只使用a is_a(x,y),其中x是y 与问题相关的图片附在下面 欢迎来到Stackoverflow。请在问题中包含所有相关信息。这样,您的问题更容易理解,并且在您的外部链接资源不再可用的情况下,也可以在将来帮助其他人。。。谢谢。这显然是的副本。请不要为同一个问题创建多个问题。可能是的副本

我需要帮助来找到下面的prolog代码:祖先(x,y)只使用a is_a(x,y),其中x是y

与问题相关的图片附在下面

欢迎来到Stackoverflow。请在问题中包含所有相关信息。这样,您的问题更容易理解,并且在您的外部链接资源不再可用的情况下,也可以在将来帮助其他人。。。谢谢。这显然是的副本。请不要为同一个问题创建多个问题。可能是的副本