---+ What else can be customized? Quite a lot. There are two mechanisms for customizing. Many options can be set using set_prolog_flag/2. Other things can be modified using hooks. The reference manual contains an overview of all [[available hooks][]].