loaded/1/2 /MINERVA/Manual/Reference/Predicates/clause_creat

unload/1の候補を出す...

移動
次へ	前へ
上へ	最上

参考

abolish/1

asserta/1

assertz/1

collect/3

load/1

unload/1

loaded/1/2

retract/1

retractall/1

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 節の生成と削除 > loaded/1/2

loaded/1/2

unload/1の候補を出す

loaded(?パッケージ)

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

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

引数

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

例

loaded(Package).

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

標準

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

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

索引

全体目次

全体索引

印刷向き

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/loaded/home_jp.html
published 2012/2/6 update 2004/1/12 (c) 1996-2009 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

冒頭へ

loaded/1/2

loaded(?パッケージ)

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

引数

例

標準

関連