loaded/1/2

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.

Up read on...