Structural Resolution for Logic Programming

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.

in ICLP 2015 Technical Communications

References in corpus (1)

• A Type-Theoretic Approach to Structural Resolution

Cited by in corpus (3)

• A Type-Theoretic Approach to Structural Resolution
• Structural Resolution for Abstract Compilation of Object-Oriented Languages
• Structural Resolution with Co-inductive Loop Detection