an:00826299
Zbl 0832.68015
Monteiro, Luís; Porto, António
A language for contextual logic programming
EN
Apt, K. R. (ed.) et al., Logic programming languages. Constraints, functions, and objects. London: MIT Press. 115-147 (1993).
1993
a
68N17 68Q55
contextual logic programming; module; context extension; unfolding semantics
Summary: This paper describes a language for contextual logic programming, proposed as a practical basis for experimentation. It incorporates the basic notions of module and context extension, two-level contexts, and other constructs such as parameters, imports and visibility. A formal account of the system is given. The language and its operational semantics are defined first, and a substantial example of its use is discussed. Then the declarative semantics is presented. Besides the usual model-theoretic and fixed-point semantics we present an unfolding semantics, which provides a concretization of the declarative semantics.
For the entire collection see [Zbl 0831.68011].