Comparative Metric Semantics for Commit in Or-Parallel Logic Programming
Eneia Nicolae Todoran, Jerry den Hartog, E.P. de Vink, Maluszynski, J. · The MIT Press eBooks · 1997
For the control flow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information, the operational semantics is recovered. 1 Introduction In recent years substantial progress has been reported on or-parallel logic programming systems, on successful experiments with extensive test sets performed on it, as well as on and-parallel extensions of these systems. See, e.g., [11, 13, 5, 10]. However, [7] discusses the lack of semantical consensus, at least for the Godel language, about what should be considered as acceptable implementations of pruning operators. In general, semantical methods, in particular compositional ones, seem somewhat lacking behind in the understanding of concurrency in logic progra...