Structural Resolution for Logic Programming

P. Johann, E. Komendantskaya, V. Komendantskiy

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 n…