Data expected to survive for as long as the it.unibo.tuprolog.solve.Solver itself, e.g. across queries.