mpg-top-sta - SICStus Prolog

current_atom(?A): backtrack through all atoms
current_module(?M): M is the name of a current module
current_module(?M,?F): F is the name of the file in which M's module declaration appears
current_predicate(:A/?N) ISO
current_predicate(?A,:P): A is the name of a predicate with most general goal P and arity N
current_prolog_flag(?F,?V) ISO: V is the current value of Prolog flag F
listing: list all dynamic procedures in the type-in module
listing(:P): list the dynamic procedure(s) specified by P
predicate_property(:P,?Prop): Prop is a property of the loaded predicate P
prolog_flag(?F,?V): V is the current value of Prolog flag F
prolog_flag(+F,=O,+N): O is the old value of Prolog flag F; N is the new value
prolog_load_context(?K,?V): find out the context of the current load
set_module(+M): make M the type-in module
set_prolog_flag(+F,+N) ISO: N is the new value of Prolog flag F
source_file(?F): F is a source file that has been loaded into the database
source_file(:P,?F): P is a predicate defined in the loaded file F
unknown(-O,+N) development: Changes action on undefined predicates from O to N.