Re: Iteratively calling Prolog from C

[Manuel Carro]

>> Well, I call them "accumulator" variables, although there
>> may be a better way to describe them. Factorial_nd is the
>> simplest example, I believe. Notice how the last
>> two variables in factorial_nd/5 are used to store values
>> over backtracking. Otherwise, the same principle is used in
>> fib_qmat_nd.pl, fib_range_nd.pl, and magic_sq.pl.

    These are accumulator variables, that name has been around for
tenths of years.  But you are not storing values over backtracking.
When you backtrack to a choicepoint in the computation you have the
same variable values as when that choicepoint was first created.

        MCL

________________________________________________
Nula aestetica sine etica. Ergo apaga y vámonos.