On rewrite programs: Semantics and relationship with prolog
- 31 October 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 14 (1-2) , 155-180
- https://doi.org/10.1016/0743-1066(92)90050-d
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the power of subsumption and context checksPublished by Springer Nature ,1990
- Functional computations in logic programsACM Transactions on Programming Languages and Systems, 1989
- Computing with rewrite systemsInformation and Control, 1985
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974