Incorporating Inductions and Game Semantics into Logic Programming
Logic in Computer Science
2015-08-11 v1
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.
Keywords
Cite
@article{arxiv.1508.01927,
title = {Incorporating Inductions and Game Semantics into Logic Programming},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1508.01927},
year = {2015}
}
Comments
11 pages. arXiv admin note: substantial text overlap with arXiv:1507.07228