Comparative semantics for a parallel contextual programming language
Jm Jacquet, Luis Fraser Monteiro · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1990
Abstract: "Recently, contextual logic programming has been proposed as an extension to the logic programming paradigm aiming at structuring programs and logical derivations in a coordinated way ([MP89]). The purpose of this paper is to present and compare various semantics for a parallel version of it. Six semantics, ranging in the operational, declarative and denotational types, are discussed. Three operational semantics are presented. They all rest on a transition system but differ in their ability of describing success set, failure set, infinite computations and of handling repetitions: i) the first operational semantics just describes the set of atoms having a successful bottom-up derivation