Towards Interactive Logic Programming

TL;DR

This paper proposes an extension to linear logic programming, specifically muProlog, to incorporate user interaction in the execution of additive goals, addressing the lack of choice in traditional semantics.

Contribution

It introduces a modified operational semantics for linear logic programming that enables user participation during goal execution.

Findings

Enhanced expressiveness in logic programming with user interaction

Successful implementation of muProlog extension

Demonstrated improved semantics for additive goals

Abstract

Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2$ are solvable from $P$. This is an unsatisfactory situation, as a central action of \& -- the action of choosing either $G_1$ or $G_2$ by the user -- is missing in this semantics. We propose to modify the operational semantics above to allow for more active participation from the user. We illustrate our idea via muProlog, an extension of Prolog with additive goals.