On rewrite programs: Semantics and relationship with prolog

DOI10.1016/0743-1066(92)90050-DMaRDI QIDQ4015955zbMATH OpenOpenAlexFDO

Authors Maria Paola Bonacina, Jieh Hsiang

Publication date 10 November 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(92)90050-d

zbMATH Keywords

denotational semanticsloop-checkingoperational semanticsPrologpruningrewrite programs

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A rewrite mechanism for logic programs with negation
• A rewrite mechanism for logic programs with negation
• scientific article; zbMATH DE number 4092824
• Computing with rewrite systems
• A rewrite approach for constraint logic programming

Cited in

(9)

• A rewrite mechanism for logic programs with negation
• Rewriting Models of Boolean Programs
• Canonical Inference for Implicational Systems
• scientific article; zbMATH DE number 4078853 (Why is no real title available?)
• scientific article; zbMATH DE number 4092824 (Why is no real title available?)
• Canonical ground Horn theories
• A rewrite mechanism for logic programs with negation
• A rewrite approach for constraint logic programming
• Towards a foundation of completion procedures as semidecision procedures

This page was built for publication: On rewrite programs: Semantics and relationship with prolog

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