[user]. Strange end_of_file

[flexoron]

?- [user].
en dof ile.
?- % unexpected.

[bakaq]

Wow, I can't imagine how you found this, great catch! It seems it exits for any "terms" with spaces:

?- [user].
a b.
?- [user].
asdf asdf.
?-

I guess the expected behavior is a syntax error.

[flexoron]

Yes(as long as there is no op):

?- op(1,xf,b).
   true.
?- [user].
a b.
?- X b.
   X = a.

[flexoron]

nospace example:

?- [user].
""().
?- % unexpected

[bakaq]

Ideally we could write a fuzzer for this.

[UWN]

This is specific to [user]. read/1 does not seem to have this problem. The shortest example is

?- [user].
.
?-   % unexpected