NU-Prolog's and Gödel's logical and sound `if-then-else`

Question

A paper about mercury says the following:

The if-then-else and negation constructs in most variants of Prolog are non-logical and unsound: they can cause