MINERVAからファイルをアンロードする。 ファイルは、"minervac -dynamic" を使ってコンパイルされたものでなければ なりません。
unload/1 は、ファイル名.mbcのMINERVAコードを削除します。
ファイル名 文字列
| unload(myfacts). | myfacts.mbcファイルが存在し、それが、"minverca -dynamic"を 使ってコンパイルされたもので、現在、MINERVAデータベースにロード されていれば、この述語は、myfacts.mbcファイルをMINERVAデータベースから 削除する。 |
この述語は、ISO-Prolog 標準には含まれない。