- ...Narrowing
- This work has been partially
supported by CICYT TIC 98-0445-C03-01 and Acción Integrada
hispano-alemana
HA1997-0073.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...Lucas
- DSIC, UPV.
Camino de Vera, E-46022 Valencia, Spain.
E-mail: {alpuente,sescobar,slucas}@dsic.upv.es
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...form
- We ignore
the exempt nodes which are in the original
definition of [Ant92]. For simplicity, we also ignore
the or nodes used in Curry in the development of our technical
results, though they have been considered
in our implementation since, when using or nodes,
a disjunctive Curry expression is obtained
and, thus the problem essentially boils down to the simple case
we have considered in our formalization.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...implementation
- UPV-Curry is publicly
available from http://www.dsic.upv.es/users/elp/soft.html.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...programs
- Look at the URL
http://www-i2.informatik.rwth-aachen.de/ hanus/curry/examples/
for a list of available Curry test programs.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...interpreters
-
TasteCurry and PACS-TasteCurry are available
from
http://www-i2.informatik.rwth-aachen.de/ hanus/curry/.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.