本論文では拡張論理プログラムにおける説明推論過程を視覚化する方法を提案する.説明推論で推移するゴールと導出を呼び出す関係を記憶し,その視覚化を行う.その記憶する処理を従来の説明推論手続き[1]に加えたものが,本論文で述べる視覚化機能付き説明推論手続きである.導出は木構造で呼び出すので,それぞれの導出のゴール履歴を紙のようなものに表現し,それを3次元上に配置する.この方法で視覚化を行うシステムの実装を行う.