loaded/1/2

unload/1の候補を出す

loaded(?パッケージ)

loaded(?パッケージ,-パッケージのリスト)

loaded/1/2 MINERVAからアンロード（除く）ことができるパッケージの候補 を出します。

引数

パッケージ             文字列
パッケージのリスト     リスト

例

loaded(Package). myfacts.mbcというファイルが存在し、"minverca -dynamic"でコンパイル されたものであり、現在MINERVAのデータベースにロードされたものであれば、 この、クエリに対する解の一つは、"Package = myfacts"　である。

標準

この述語は、ISO-Prolog 標準には含まれない。

関連

asserta/1, assertz/1, abolish/1, collect/3, load/1. unload/1. retract/1, retractall/1.

戻る 続く..