?- A = "A test string", A = B.
A = B, B = "A test string".