Scryer-prolog: Simple quote issue

[notoria]

This happens:

?- X = '[]', Y = [].
   X = [], Y = [].
?- X = '[]', Y = [], Y = X.
false.
?- X = "'a'".
   X = "\'a\'".
?- X = '"a"'.
   X = '\"a\"'.
?- 

[triska]

Related: #301 .

[notoria]

I was wondering if it has to do with this trait.

[notoria]

Duplicated, closing this.

[triska]

There is one important issue that your above cases reveal, and which is nowhere else filed:

?- '[]' = [].
false.

Expected: true.

[notoria]

OK, reopening.

[triska]

This is now filed separately, and also corrected, via #644.

[notoria]

But:

?- X = [], atom_chars(X, Cs), atom_chars(Y, Cs).
   X = [], Cs = "[]", Y = [].
?- X = [], atom_chars(X, Cs), atom_chars(Y, Cs), X = Y.
false.

[triska]

Very nicely spotted!

[triska]

Put differently, we have:

?- A = [], atom_chars(A, "[]"), A = [].
   A = [].

But a generalization fails:

?- *A = [], atom_chars(A, "[]"), A = [].
false.

[notoria]

The last commit solved this issue, closing.