Interactive Logic Programming via Choice-Disjunctive Clauses

TL;DR

This paper introduces an extension to logic programming that incorporates user interaction by using game semantics instead of provability, enabling more active participation in computations.

Contribution

It proposes a novel approach using game semantics for interactive logic programming, implemented in muprolog, an extension of Prolog with choice-disjunctive clauses.

Findings

Enables user interaction in logic programming.

Uses game semantics for computation.

Demonstrates the approach with muprolog extension.

Abstract

Adding interaction to logic programming is an essential task. Expressive logics such as linear logic provide a theoretical basis for such a mechanism. Unfortunately, none of the existing linear logic languages can model interactions with the user. This is because they uses provability as the sole basis for computation. We propose to use the game semantics instead of provability as the basis for computation to allow for more active participation from the user. We illustrate our idea via muprolog, an extension of Prolog with choice-disjunctive clauses.