|Did you know ...||Search Documentation:|
This predicate fails if the tail of List is equivalent to
is logically correct. An exception would be more appropriate, but to our
best knowledge, current practice in Prolog does not describe a suitable
candidate exception term.