| Gives candidates for unload/1 .
loaded(?Package)
loaded(?Package,-PredicateList)
loaded/1/2 gives candidate packages that can be unloaded from MINERVA.
Arguments
Package string
PredicateList list
Examples
| loaded(Package). |
If the file myfacts.mbc exists, was compiled with minverca -dynamic,
and is currently loaded into the MINERVA database then one of the
solutions to the query is "Package = myfacts"
|
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
asserta/1,
assertz/1,
abolish/1,
collect/3,
load/1,
unload/1,
retract/1,
retractall/1.
|
