|
|
|||||||||
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/unload/print_jp.html published 2008/10/6 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
