|
|
|||||||||
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/loaded/print_jp.html published 2008/8/25 update 2004/1/12 (c) 1996-2006 IF Computer Japan | ||||||||
|
