Scoping in Logic Programming

Citation: Keehang Kwon, "A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 341--376.
Summary: An extension to logic programming (in particular, Prolog) which permits scoping of procedure definitions is described at a high level of abstraction and refined (in a provably-correct manner) to a lower level.
Subjects: Compiler Correctness, Programming Languages, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)