Re: Iteratively calling Prolog from C

[Manuel Carro]

>> Well, without knowing exactly what you are trying to
>> accomplish with recursion, may I venture to suggest that
>> you replace the recursive loop with a repeat-fail type loop
>> (using accumulator variables to store results over
>> backtracking)? Here you get garbage collection for free.
>> You'll find a number of examples on my website:

    Accumulator variables won't help you on backtracking.  Maybe you
mean dynamic predicates?  Which example were you referring to?

-- 
+--------------------------------------------------------------------------+
|Manuel Carro -- Facultad de Informática -- U. Politécnica de Madrid (UPM) |
|mcarro_at_fi_dot_upm_dot_es --- Ph: +34-91336-7455 --- FAX: +34-91336-7412|
|http://lml.ls.fi.upm.es/~boris --- http://clip.dia.fi.upm.es/Software/Ciao|