|
|
|||||||||
unloads a file from MINERVA. The file must have been compiled with "minervac -dynamic"
unload(+FileName)
unload/1 removes the MINERVA-Code of FileName.mbc from MINERVA.
Arguments
FileName string
Examples
| unload(myfacts). | If the file myfacts.mbc exists, was compiled with minverca -dynamic, and is currently loaded into the MINERVA database then it will be removed from the MINERVA database. |
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
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_en.html published 2008/9/1 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
