A model-theoretic reconstruction of the operational semantics of logic programs

DOI10.1006/INCO.1993.1015MaRDI QIDQ1803658zbMATH OpenOpenAlexFDO

Authors M. Falaschi, Giorgio Levi, M. Martelli, Catuscia Palamidessi

Publication date 29 June 1993

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1993.1015

zbMATH Keywords

logic programmingoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 25193
• Declarative modeling of the operational behavior of logic languages
• A closer look at declarative interpretations
• Compositional model-theoretic semantics for logic programs

Cited in

(21)

• scientific article; zbMATH DE number 4039258 (Why is no real title available?)
• S-semantics for logic programming: a retrospective look
• Enumeration operators and modular logic programming
• A declarative debugging system for lazy functional logic programs
• Declarative debugging of functional logic programs
• Type dependencies for logic programs using ACI-unification
• Model reconciliation in logic programs
• A new generic scheme for functional logic programming with constraints
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• scientific article; zbMATH DE number 1678380 (Why is no real title available?)
• Abstract interpretation of resolution-based semantics
• An integrated framework for the diagnosis and correction of rule-based programs
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• scientific article; zbMATH DE number 4114113 (Why is no real title available?)
• Relating models of backtracking
• Declarative modeling of the operational behavior of logic languages
• A new framework for declarative programming
• A debugging scheme for functional logic programs
• Structural operational semantics and modal logic, revisited
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements

This page was built for publication: A model-theoretic reconstruction of the operational semantics of logic programs

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