CLP(B): Add experimental support for +(List) and *(List) syntax,
        denoting multi-argument disjunctions and conjunctions.
        Please give feedback about this syntax.
        Suggested by Gernot Salzer.

    Example:

       ?- sat(*([A,B,C])).
       A = B, B = C, C = 1.