zbMATH — the first resource for mathematics

A language for contextual logic programming. (English) Zbl 0832.68015
Apt, K. R. (ed.) et al., Logic programming languages. Constraints, functions, and objects. London: MIT Press. 115-147 (1993).
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].

68N17 Logic programming
68Q55 Semantics in the theory of computing