We propose an unfold-fold transformation system which preserves left termination for definite programs besides its declarative semantics. The system extends our previous proposal in [BCE95] by allowing to switch the atoms in the clause bodies when a specific applicability condition is satisfied. The applicability condition is very simple to verify, yet very common in practice. We also discuss how to verify such condition by exploiting mode information.
|Titel||Logic Programming Synthesis and Transformation (9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers)|
|ISBN van geprinte versie||3-540-67628-7|
|Status||Gepubliceerd - 2000|
|Naam||Lecture Notes in Computer Science|
|ISSN van geprinte versie||0302-9743|