Observable Semantics for Constraint Logic Programs

DOI10.1093/LOGCOM/5.2.133MaRDI QIDQ4763533zbMATH OpenOpenAlexFDO

Authors Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi

Publication date 17 April 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/7b4aa3403ad68513b4e8be57f70e8c6d433f8580

zbMATH Keywords

semanticsconstraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• scientific article; zbMATH DE number 970715
• Theoretical Foundations and Semantics of Logic Programming
• Generalized semantics and abstract interpretation for constraint logic programs
• Observable behaviors and equivalences of logic programs

Cited in

(14)

• Formal semantics of visual occam
• An algebraic perspective of constraint logic programming
• A semantics for modular general logic programs
• Observational Semantics for Dynamic Logic with Binders
• A new generic scheme for functional logic programming with constraints
• scientific article; zbMATH DE number 826301 (Why is no real title available?)
• A theory of observables for logic programs
• Observable behaviors and equivalences of logic programs
• A declarative semantics for CLP with qualification and proximity
• Automated Reasoning with Analytic Tableaux and Related Methods
• Constraint logic programming with dynamic scheduling: A semantics based on closure operators
• Transformations of CLP modules
• Proof-search in intuitionistic logic based on constraint satisfaction
• A hierarchy of semantics for normal constraint logic programs

This page was built for publication: Observable Semantics for Constraint Logic Programs

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