イフコンピュータ > IF/Prolog > マニュアル > IF/Prolog V4.1 マニュアル > IF/Prolog V4.1 レファレンスマニュアル > バージョン3から4への移行 > mlisting

mlisting

IF/Prolog by Siemens
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

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 ?- _

document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/reference/compaintro/mlisting/print_jp.html
published 2008/12/1 update 1995/11/6 (c) 1996-2006 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
戻る> managed with ubiCMS