Mutually-inversistic Web services composition based on transformation of linear logic theorem prover

Mutually-inversistic Web services composition proposed in this paper is based on second-level single quasi-Prolog, it is a mutually-inversistic multi-agent planner. It is transformed from linear logic theorem prover based Web services composition by changing hypothetical syllogism from inference rule to logical axiom, taking second-level hypothetical inference as the sole inference rule. Compared with linear logic theorem prover based Web services composition, it is more concise, more stringent.