On rewrite programs: Semantics and relationship with prolog
From MaRDI portal
Publication:4015955
DOI10.1016/0743-1066(92)90050-DzbMath0754.68024OpenAlexW1992391625MaRDI QIDQ4015955
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
Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items
A rewrite mechanism for logic programs with negation, A rewrite approach for constraint logic programming, Canonical Inference for Implicational Systems, Towards a foundation of completion procedures as semidecision procedures, Canonical Ground Horn Theories, A rewrite mechanism for logic programs with negation
