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.