Portal de Periódicos da CAPES

A demand driven computation strategy for lazy narrowing

1993; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-57186-8_79

1611-3349

Rita Loogen, Francisco López Fraguas, Mario Rodríguez Artalejo,

Logic, programming, and type systems

Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. This paper specifies a computation strategy for lazy conditional narrowing, based on the idea of transforming patterns into decision trees to control the computation. The specification is presented as a translation of CTRS into Prolog, which makes it executable and portable. Moreover, in comparison to related approaches, our method works for a wider class of CTRS.