A rewrite approach for constraint logic programming

DOI10.1007/3-540-59175-3_111MaRDI QIDQ5096353zbMATH OpenOpenAlexFDO

Authors Gilles Richard, Frédéric Saubion

Publication date 16 August 2022

Published in LATIN '95: Theoretical Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59175-3_111

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• Answer Synthesis for CLP Programs with Negation
• Constraint logic programming with a relational machine
• A rewrite mechanism for logic programs with negation
• A rewrite mechanism for logic programs with negation
• Computing with rewrite systems

Cites work

• A rewrite mechanism for logic programs with negation
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• On rewrite programs: Semantics and relationship with prolog

Cited in

(11)

• A rewrite mechanism for logic programs with negation
• A rewriting approach to satisfiability procedures.
• Term Rewriting with Logical Constraints
• Declarative compilation for constraint logic programming
• On rewrite programs: Semantics and relationship with prolog
• An approach to declarative programming based on a rewriting logic
• Completion for logically constrained rewriting
• A rewrite mechanism for logic programs with negation
• Constraint logic programming with a relational machine
• A general theory of confluent rewriting systems for logic programming and its applications
• Transformations of CLP modules

This page was built for publication: A rewrite approach for constraint logic programming

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