Read term from atom including FD variables

[Enric Galceran]

Hello,

I'm trying to read a term from an atom and then calling such term
using 'call/1'. The problem comes when the term includes FD variables:

fd_domain(A, [1,2,3]),
write(A),
read_term_from_atom('A #= 2 #/\\ A#<3', T, [end_of_term(eof)]),
write(T),
nl,
call(T).

The result of this query in the GProlog interpreter is:

_#2(1..3)_71#=2#/\_71#<3

A = _#2(1..3)
T = 2#=2#/\2#<3

yes
| ?-


As we can see, when the term unified with T is created, it doesn't
seem to keep the value of the variable A.

Any idea for solving this issue?

Thanks a lot,

Enric Galceran

Undergraduate Student
Department of Computer Science and Applied Mathematics
University of Girona