Re: GC in GNU-Prolog?

[Edmund GRIMLEY EVANS]

Daniel Diaz <address@hidden>:

> There is no GC currently in GNU Prolog. However, we started a collaboration 
> with another research team to implement a GC. I hope it will be available 
> around february 2001.

Are there any thoughts on the problem which I mentioned earlier
concerning atoms/strings?

References to atoms can be passed to C code, and there is no mechanism
for discovering whether they are still in use, so all atoms have to be
stored forever, which means they cannot reasonably be used as strings
in a long-running application, but the alternative of using a list of
chars/codes is much less efficient in many cases.

Edmund