n Yap the following happens:
?- Z = [A, .. ] .
[ SYNTAX ERROR at line 39:
Z = [ A , ..
<==== HERE ====>
].
]
That gives no error in SWI, or in Sicstus.
Even in Yap this following are okay:
?- Z = [..] . % only dots
Z = [..] ?
yes
?- Z = [..,A]. % dots first
Z = [..,A] ?
yes
?- Z = [A,(..)]. % dots in parenthesis
Z = [A,..] ?
yes
Yap will only accept the atom (..) after the first
position in a list,
when it is enclosed in parenthesis.
earthlink.net!frayser