Date Added: Feb 2012
Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal G1&G2 from a program P simply terminates with a success if both G1 and G2 are solvable from P. This is an unsatisfactory situation, as a central action of & - the action of choosing either G1 or G2 by the user - is missing in this semantics. The authors propose to modify the operational semantics above to allow for more active participation from the user. They illustrate their idea via Prolog & an extension of Prolog with additive goals.