Abstract | ||
---|---|---|
We present a new evaluation strategy for functional logic programs described by weakly orthogonal conditional term rewriting systems. Our notion of weakly orthogonal conditional rewrite system extends a notion of Bergstra and Klop and covers a large part of programs defined by conditional equations. Our strategy combines the flexibility of logic programming (computation of solutions for logic variables) with efficient evaluation methods from functional programming. In particular, it is the first known narrowing strategy for this class of programs that evaluates ground terms deterministically. This is achieved by a transformation of conditional term rewriting systems (CTRS) into unconditional ones which is sound and complete w.r.t. the semantics of the original CTRS. We show that the transformation preserves weak orthogonality for the terms of interest. This property allows us to apply a relatively efficient evaluation strategy for weakly orthogonal unconditional term rewriting systems (parallel narrowing) on the transformed programs. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1145/888251.888255 | PPDP |
Keywords | Field | DocType |
weakly orthogonal conditional term,conditional narrowing,efficient evaluation strategy,logic programming,new evaluation strategy,efficient evaluation method,logic variable,functional logic program,conditional term,conditional equation,weakly orthogonal unconditional term,functional programming,functional logic programming,relative efficiency | Functional logic programming,Evaluation strategy,Programming language,Functional programming,Computer science,Orthogonality,Theoretical computer science,Rewriting,Logic programming,Semantics,Computation | Conference |
ISBN | Citations | PageRank |
1-58113-705-2 | 8 | 0.50 |
References | Authors | |
26 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sergio Antoy | 1 | 896 | 76.13 |
Bernd Braßel | 2 | 181 | 12.47 |
Michael Hanus | 3 | 237 | 9.99 |