Towards Interactive Logic Programming

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.

Provided by: Dong-A university Topic: Software Date Added: Feb 2012 Format: PDF

Find By Topic