我如何看待Prolog如何得到它的结果/它采取的路径？

Question

我有一个简单的Prolog谓词，spits接受一个变量Result，该变量计算结果然后将其存储在Result中以供查看。有时我不确定它在Result中存储的答案是什么，我很好奇是否在Prolog中有一个方法可以让它显示它是如何得到答案的，我猜测它显示了它所采用的路径以及它是如何构建的？

谓词很简单，如solve(Input, Result).，Result有时可能很奇怪。