LogicWeb has traditionally lacked devices for expressing mutually exclusive clauses. We address this limitation by adopting choice-conjunctive clauses of the form D 0 &D 1 where D 0 , D 1 are Horn clauses and & is a linear logic connective. Solving a goal G using D 0 &D 1pv(D 0 &D 1 , G) -has the following operational semantics: choose a successful one between pv(D 0 , G) and pv(D 1 , G). In other words, if D o is chosen in the course of solving G, then D 1 will be discarded and vice versa. Hence, the class of choice-conjunctive clauses precisely captures the notion of mutually exclusive clauses.