鉴于swi-prolog要解决的目标，我想知道prolog如何到达解决方案
我尝试使用“告诉”或“告诉”。还在swi-prolog的文档中搜索，但我找不到答案。
示例：
Rules:
life_form(X) :- animal(X).
animal(X) :- dog(X).
Facts:
cat(coco).
dog(max).
如果您现在输入?- life_form(max).，您将得到true，但是我也想知道序言如何得出这个结论，即：
dog(max) -> animal(max) -> life_form(max)
无需调试。只是要向序言寻求解释。在我看来，序言中一定是这样的。