A compositional semantics for logic programs

DOI10.1016/0304-3975(94)90200-3MaRDI QIDQ1314414zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Publication date 29 November 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90200-3

zbMATH Keywords

compositional semanticsfixpoint semanticslogic programsmodular program analysisoperational semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 970714
• A semantics for modular general logic programs
• Fully abstract compositional semantics for an algebra of logic programs

Cites work

• A fixpoint semantics of Horn sentences based on substitution sets
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Closures and fairness in the semantics of programming logic
• Composing Open Logic Programs
• Declarative modeling of the operational behavior of logic languages
• Eliminating negation from normal logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• scientific article; zbMATH DE number 4195154 (Why is no real title available?)
• scientific article; zbMATH DE number 3956409 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 3249766 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• scientific article; zbMATH DE number 970714 (Why is no real title available?)
• scientific article; zbMATH DE number 970715 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Observable behaviors and equivalences of logic programs
• Oscillatory Marangoni–Bénard interfacial instability and capillary–gravity waves in single- and two-component liquid layers with or without Soret thermal diffusion
• Partial evaluation in logic programming
• Properties of substitutions and unifications
• The Semantics of Predicate Logic as a Programming Language
• Unfolding and fixpoint semantics of concurrent constraint logic programs

Cited in

(46)

• S-semantics for logic programming: a retrospective look
• Abstract interpretation of resolution-based semantics
• Differential logic programs: Programming methodologies and semantics
• Compositional model-theoretic semantics for logic programs
• Compositionality properties of SLD-derivations
• A semantics for modular general logic programs
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• The reduced relative power operation on abstract domains
• A new framework for declarative programming
• Non-commutative logic for compositional distributional semantics
• A theory of observables for logic programs
• Observable behaviors and equivalences of logic programs
• Are logical languages compositional?
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• A semantic approach to illative combinatory logic
• Complementing logic program semantics
• A Compositional Semantics for ‘If Then’ Conditionals
• A structured alternative to Prolog with simple compositional semantics
• scientific article; zbMATH DE number 5081758 (Why is no real title available?)
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• Composing Open Logic Programs
• Composing programs in a rewriting logic for declarative programming
• scientific article; zbMATH DE number 1759496 (Why is no real title available?)
• scientific article; zbMATH DE number 1761889 (Why is no real title available?)
• Semantics of templates in a compositional framework for building logics
• A computable semantics for general logic programs
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• scientific article; zbMATH DE number 2101985 (Why is no real title available?)
• Correct answers for first order logic
• scientific article; zbMATH DE number 1407684 (Why is no real title available?)
• Incremental and modular context-sensitive analysis
• Algebraic methods in the compositional analysis of logic programs
• Theoretical Aspects of Computing – ICTAC 2005
• Compositional Semantics for the Procedural Interpretation of Logic
• Transforming semantics by abstract interpretation
• scientific article; zbMATH DE number 970714 (Why is no real title available?)
• Program Development in Computational Logic
• Single-domain free logic and the problem of compositionality
• The merits of compositional abstraction: a case study in propositional logic
• A compositional semantic basis for the analysis of equational Horn programs
• Transformations of CLP modules
• Fully abstract compositional semantics for an algebra of logic programs
• A sound and complete semantics for a similarity-based logic programming language
• A compositional natural semantics and Hoare logic for low-level languages

This page was built for publication: A compositional semantics for logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314414)