unloads a file from MINERVA. The file must have been compiled with "minervac -dynamic"
unload/1 removes the MINERVA-Code of FileName.mbc from MINERVA.
FileName string
| 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. |
This predicate is not part of the ISO-Prolog Standard.
| scroll to top |
|