fd variable domain stack

[Hak-Jin Kim]

Hi,

 

Can you tell me how fd the last information about fd domain is recorded for backtracking?

I looked for a stack of such information in vain.  Is it implemented in EngineFD folder or elsewhere?

Is there any documentation telling me the structure of gprolog and FD?

 

Thank you.

 

Hak-Jin