MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
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
?- _
| 
