Structural Resolution for Logic Programming
Logic in Computer Science
2015-07-23 v1
Abstract
We introduce a Three Tier Tree Calculus (3TC) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use 3TC to define a new -- structural -- version of resolution for logic programming.
Keywords
Cite
@article{arxiv.1507.06010,
title = {Structural Resolution for Logic Programming},
author = {P. Johann and E. Komendantskaya and V. Komendantskiy},
journal= {arXiv preprint arXiv:1507.06010},
year = {2015}
}
Comments
in ICLP 2015 Technical Communications