Incorporating Inductions and Game Semantics into Logic Programming

TL;DR

This paper introduces a new logic programming execution model that integrates inductions and game semantics to enhance expressiveness and interactivity, aligning computational reasoning more closely with real-life processes.

Contribution

It proposes a novel execution model for logic programming that combines inductions and game semantics, advancing the language's capabilities and realism.

Findings

Enhanced expressiveness through inductions

Increased interactivity via game semantics

Alignment with real-life reasoning processes

Abstract

Inductions and game semantics are two useful extensions to traditional logic programming. To be specific, inductions can capture a wider class of provable formulas in logic programming. Adopting game semantics can make logic programming more interactive. In this paper, we propose an execution model for a logic language with these features. This execution model follows closely the reasoning process in real life.