本稿では分散論理プログラムにおける推論の過程を自動並列化コンパイラのための視覚化システム NaraView のプログラム構造ビューを用いて視覚化する。分散論理プログラムにおいて交換されるメッセージは、時刻、メッセージを送受する論理プログラム、メッセージの階層レベルの三つの要素を持っており、それらをプログラム構造ビューの各軸に対応させることで簡単に視覚化できる。Visualization has played a significant role in understanding the behavior of distributed programs. We propose a visualization that shows message exchanges in distributed logic programs using the Program Structure View in NaraView. The behavior of distributed logic programs is easily visualized using the Program Structure View since the messages have three parametric factors: time, derivation, and hierarchical level.