users-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Read term from atom including FD variables


From: Enric Galceran
Subject: Read term from atom including FD variables
Date: Mon, 20 Jul 2009 12:10:59 +0200

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]