如何让swi prolog解释解决方案

鉴于swi prolog要解决的目标，我想知道prolog是如何实现该解决方案的

我试着用tell或tell。还在swi prolog的文档中搜索，但我找不到答案

例如：

Rules:

life_form(X) :- animal(X).
animal(X) :- dog(X).

Facts:

cat(coco).
dog(max).

如果你现在打字的话？-生活。你说得对，但我也想知道prolog是如何得出这个结论的，即：

dog(max)  ->  animal(max)  -> life_form(max)

没有调试。只是想请prolog解释一下。在我看来，它在序言中应该是这样的。

可能的重复