A New Execution Model for the logic of hereditary Harrop formulas
Logic in Computer Science
2015-07-08 v1
Abstract
The class of first-order Hereditary Harrop formulas () is a well-established extension of first-order Horn clauses. Its operational semantics is based on intuitionistic provability. We propose another operational semantics for which is based on game semantics. This new semantics has several interesting aspects: in particular, it gives a logical status to the predicate in Prolog.
Keywords
Cite
@article{arxiv.1507.01771,
title = {A New Execution Model for the logic of hereditary Harrop formulas},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1507.01771},
year = {2015}
}
Comments
6 pages. arXiv admin note: substantial text overlap with arXiv:1211.6535