如何从祖先关系中检查最接近的祖先的财产？

Question

我正在做一个项目。我当然出于说明目的修改了该问题。 所以基本上，它类似于祖先的关系。

因此，假设我输入了一些祖先 ancestor（x：Person，y：Person）描述x是y的祖先。 此外，我还输入了哪个人死了，死了（x：Person）。

如何确定最接近的祖先是否已死亡。我特别希望不要将“父母”用作关系。

//编辑 以下示例的结果应为： 这种关系只有霍华德。

.decl dead(x:Person)
dead(Peter).

.decl ancestor(x:Person, y:Person)
ancestor(Jon, Peter).
ancestor(Peter, Howard).

.decl closestAncestorDead(x:Person)
??????????????????????????????