unload/1 /MINERVA/Manual/Reference/Predicates/clause_creat_destruct/unload/

MINERVAからファイルをアンロードする。...

移動
次へ	前へ
上へ	最上

参考

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

unload/1

MINERVAからファイルをアンロードする。ファイルは、"minervac -dynamic"　を使ってコンパイルされたものでなければなりません。

unload(+ファイル名)

unload/1 は、ファイル名.mbcのMINERVAコードを削除します。

引数

ファイル名             文字列

例

unload(myfacts).

myfacts.mbcファイルが存在し、それが、"minverca -dynamic"を使ってコンパイルされたもので、現在、MINERVAデータベースにロードされていれば、この述語は、myfacts.mbcファイルをMINERVAデータベースから削除する。

標準

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

関連

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

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

全体目次

全体索引

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/unload/home_jp.html
published 2008/7/21 update 2003/2/26 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	ifcj@ifcomputer.co.jp
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

managed with ubiCMS