A rewrite approach for constraint logic programming

DOI10.1007/3-540-59175-3_111zbMath1495.68033OpenAlexW1538086449MaRDI QIDQ5096353

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

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

Related Items (1)

A rewrite mechanism for logic programs with negation

Cites Work

• A rewrite mechanism for logic programs with negation
• On rewrite programs: Semantics and relationship with prolog
• Unnamed Item
• Unnamed Item
• Unnamed Item

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