otherwise/0
otherwise
Always succeeds (same as true/0).
true/0
otherwise/0 is useful for laying out conditionals (see ref-sem-con) in a readable way.
( test1 -> goal1 | test2 -> goal2 | otherwise -> goal3 )