Quintus 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,P): A is the name of a predicate with most general goal P
listing: list all dynamic procedures in the type-in module
listing(P): list the dynamic procedure(s) specified by P
module(M): make M the type-in module
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
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
source_file(P,F,N): Clause number N of predicate P came from file F