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.)

[an error occurred while processing this directive]

Abstract State Machines