Abstract

. For efficiency reasons, term rewriting is usually implemented by graph rewriting. It is known that graph rewriting is a sound and complete implementation of (almost) orthogonal term rewriting systems; see [BEG + 87]. In this paper, we extend the result to properly oriented orthogonal conditional systems with strict equality. In these systems extra variables are allowed in conditions and right-hand sides of rules. 1 Introduction Attempts to combine the functional and logic programming paradigms have recently been receiving increasing attention; see [Han94b] for an overview of the field. It has been argued in [Han95] that strict equality is the only sensible notion of equality for possibly nonterminating programs. In this paper, we adopt this point of view--so every functional logic program is regarded as an orthogonal conditional term rewriting system (CTRS) with strict equality. The standard operational semantics for functional (or equational) logic programming is conditional narr...

Citations