A lot of predicates "get" a value and bound it to a
Variable given as argument. But if the Variable is already
instantied, then the predicates "set" the current value of
the Variable.
I don't want a new Variable each time i must get a value,
so how to uninstantiate a Variable or how to deal with this
problem ?
Variable given as argument. But if the Variable is already
instantied, then the predicates "set" the current value of
the Variable.
I don't want a new Variable each time i must get a value,
so how to uninstantiate a Variable or how to deal with this
problem ?