ADDED: CLP(B): Support for +(List) and *(List) syntax, denoting
               multi-argument disjunctions and conjunctions.
               This syntax is useful in very many CLP(B) tasks.
               Suggested by Gernot Salzer.