  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.
