Cómo evitar el uso de Assert y Retractall en Prolog para implementar variables globales (o de estado)

A menudo termino escribiendo código en Prolog, que implica un cálculo aritmético (o información de estado importante en todo el programa), por medio de obten...