| 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.
|
