Como evitar o uso de assert e retractall no Prolog para implementar variáveis ​​globais (ou de estado)

Muitas vezes acabo escrevendo código no Prolog que envolve algum cálculo aritmético (ou informações de estado importantes em todo o programa), primeiro obtendo o valor armazenado em um predicado, depois recalculando o valor e finalmente ...