|
|
|||||||||
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/loaded/print_en.html published 2008/10/6 update 2004/1/12 (c) 1996-2006 IF Computer Japan | ||||||||
|
