2015/07/07 by Keehang Kwon, Kwon, Keehang
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
paper · pdf · doi:10.48550/arxiv.1507.01771
6 pages. arXiv admin note: substantial text overlap with arXiv:1211.6535
arxiv created 2015/07/07 · arxiv updated 2015/07/08
The class of first-order Hereditary Harrop formulas (fohh) is a well-established extension of first-order Horn clauses. Its operational semantics is based on intuitionistic provability. We propose another operational semantics for fohh which is based on game semantics. This new semantics has several interesting aspects: in particular, it gives a logical status to the read predicate in Prolog.