prolog - PROLOG 解像度トラバーサル、視覚化?

Question

PROLOG がクエリの結果をどのように見つけたかを視覚化することは、合理的な努力で可能ですか? たとえば、いくつかの繰り返しエントリ (例: 家系図のクエリで親戚を 2 回検索する) など、どのパスを介して見つかったかを理解するのに役立ちます。