A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming

Keehang Kwon. A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming. J. UCS, 3(4):341-376, 1997. [doi]

Abstract

Abstract is missing.