Re: writting anonymous variables in a file

Hi Paulo,

Le 03/02/2014 15:57, Paulo Moura a écrit :
> Hi Dominique,
>
> On 03/02/2014, at 14:43, db <[email protected]> wrote:
>> I want to write atoms with anonymous variables,
>> like p(_, _), in a file,
>> but in the file, each anonymous variable (_) have been replaced
>> by a named anonymous variable, for example _906541.
>>
>> Unfornatly, with big data, the same named anonymous variable
>> appears more than once in the file.
>
> But not in the same file term (unless you found a bug). So, why is that a problem? Size of the generated Prolog files? Just trying to understand.


I have serveral times the same variable in a very big list
contaiing compounded terms.

The message is :
"Singleton-marked variable appears more than once: _G506341"

Cheers
Dominique