[eclipse-users] term_string

From: Malcolm Ryan <malcolmr_at_...25...>
Date: Wed, 15 Aug 2007 17:58:30 +1000
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.


[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.


            "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
Received on Wed Aug 15 2007 - 08:59:30 CEST

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 21:14:55 CEST