mlisting mlisting(+モジュール名)

mlisting/0は、現在IF/Prologデ−タベ−スにロ−ドされている、すべてのモジュ−ルの名前を出力します。同じ内容のリストは、loaded(モジュ−ルリスト)によっても得られます。

mlisting/1は、「モジュ−ル名」からすべてのコンパイルされた述語のリストを関数子／引数の数の形式で出力します。そのリストは、プライベ−トでも動的でもない述語のみを含みます。

?- mlisting. version_3

yes ?- mlisting(break). break: break/0 break: '*519*'/1 break: '*520*'/1 . . . break: '*535*'/1

yes ?- _

scroll to top