(SWI-)Prolog でより大きなプロジェクトを作成しました。述語と述語間の関係についてのより良い概要を得るために、それを説明する機能を探しています。
XPCE 拡張機能 (コマンド「manpce」) には、述語に関する概要があります ([ツール] > [Prolog Navigator])。しかし、私は主に、どの述語がどの述語を呼び出すかなどを説明する機会を探しています...
(SWI-)Prolog でより大きなプロジェクトを作成しました。述語と述語間の関係についてのより良い概要を得るために、それを説明する機能を探しています。
XPCE 拡張機能 (コマンド「manpce」) には、述語に関する概要があります ([ツール] > [Prolog Navigator])。しかし、私は主に、どの述語がどの述語を呼び出すかなどを説明する機会を探しています...
gxref
Carlo が提案したような SWI-Prolog 独自の開発ツールと、SWI-Prolog (さらに Logtalk、そして間もなく YAP) をサポートする Prolog プログラミング用の Eclipse ベースの IDEであるPDTの両方を見ることをお勧めします。PDT には、述語の相互参照呼び出しを視覚化するためのサポートが含まれています。