In this paper the mechanism of Default Rules for narrowing-based languages proposed in 24] is adapted to lazy narrowing. Every partial deenition of a function can be completed with a default rule. In a concrete function call, the default rule is applicable when the normal ones determine that they cannot compute the value of the call. Furthermore , when the goal has variables the evaluation mech...
