On the semantics of logic programs

DOI10.1007/3-540-54233-7_121MaRDI QIDQ4036549zbMATH OpenFDO

Authors Maurizio Gabbrielli, Giorgio Levi

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54233-7_121

zbMATH Keywords

fixpoint constructionoperational semanticsprogram equivalencessemantics-based program analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• S-semantics for logic programming: a retrospective look
• A model-theoretic reconstruction of the operational semantics of logic programs
• A compositional semantics for logic programs
• scientific article; zbMATH DE number 970714
• On the equivalence of semantics for normal logic programs

Cited in

(33)

• S-semantics for logic programming: a retrospective look
• A compositional semantics for logic programs
• A denotational semantics and dataflow construction for logic programs
• On the relationship between TMS and logic programs
• Institutions for logic programming
• Observable behaviors and equivalences of logic programs
• Roles of program extension
• scientific article; zbMATH DE number 1696798 (Why is no real title available?)
• A hierarchy of semantics for normal constraint logic programs
• A fixed point semantics for logic programs extended with cuts
• scientific article; zbMATH DE number 4205998 (Why is no real title available?)
• Theoretical Foundations and Semantics of Logic Programming
• scientific article; zbMATH DE number 4057489 (Why is no real title available?)
• scientific article; zbMATH DE number 549994 (Why is no real title available?)
• scientific article; zbMATH DE number 709760 (Why is no real title available?)
• On the equivalence of semantics for normal logic programs
• Semantics of structured normal logic programs
• An interactive semantics of logic programming
• Decidability of logic program semantics and applications to testing
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• A computable semantics for general logic programs
• scientific article; zbMATH DE number 2085282 (Why is no real title available?)
• scientific article; zbMATH DE number 845882 (Why is no real title available?)
• scientific article; zbMATH DE number 936829 (Why is no real title available?)
• scientific article; zbMATH DE number 1407682 (Why is no real title available?)
• Algebraic methods in the compositional analysis of logic programs
• scientific article; zbMATH DE number 970714 (Why is no real title available?)
• scientific article; zbMATH DE number 2237358 (Why is no real title available?)
• Program Development in Computational Logic
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• S-semantics -- an example
• A compositional semantic basis for the analysis of equational Horn programs
• A sound and complete semantics for a similarity-based logic programming language

This page was built for publication: On the semantics of logic programs

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