[eclipse-users] term_string

The docs for term_string(Term, String) say:

"If String is instantiated, its contents are parsed, and if the whole  
string can be parsed as one Prolog term it is unified with Term."

But this doesn't seem to work if String represents a variable.

Eg:

[eclipse 19]: term_string(X, String), term_string(Y, String), Y = a.

X = X
String = "_65"
Y = a
Yes (0.00s cpu)

I would have expected X and Y to have been unified.

Malcolm

--
            "Cleanliness is not next to godliness nowadays,
                 for cleanliness is made an essential
               and godliness is regarded as an offence.
                                     - G.K.Chesterton, On Lying in Bed