In this paper an extension of narrowing-based functional logic languages is proposed: 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. The use of the default rule, in the presence of a goal with variables, is constructive. The oper...

The use of a radioactive check device containing Strontium 90 was investigated to carry out the redundancy checks of Farmer-type ionization chambers. It was not possible to meet the recommended tolerance limits of the redundancy checks without taking into account the angular response of the ionization chambers. The ionization chambers exhibited a maximum variation of 1% in the angular response ...

This paper analyzes a family of rules for bankruptcy problems that generalizes the Talmud rule (T) and encompasses both the constrained equal-awards rule (A) and the constrained equal-losses rule (L). The family is defined by means of a parameter θ ∈ [0, 1] that can be interpreted as a measure of the distributive power of the rule. We provide a systematic study of the structural properties of t...

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...