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
_______________________________________________
Users-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/users-prolog
