current_prolog_flag(Flag,Value) is true if and only if Flag is a valid prolog flag and Value is its value.