prolog_flag_property/2

"prolog_flag_property(+ Flag,+ Prooperties" )

Report a property for a YAP Prolog flag. Properties include

type(+_Type_) with Type one of boolean, integer, float, atom and term (that is, any ground term)

access(+_Access_) with Access one of read_only or read_write

scope(+_Scope_) the flag aplies to athread, to amodule, or isglobal` to the system.