4.9.6 Predicate Summary

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.

Send feedback on this subject.