set_prolog_flag(Flag, Value) sets the prolog flag Flag value to Value. This can either succeed or raise an exception.