Dear Quirino,
On Sun, Feb 15, 2009 at 12:25 PM, Quirino Zagarese <
[email protected]> wrote:
> Of course I'm seeing it's a very powerful feature.
> I was just trying to understand why the expression _|1 does not match
> 4|3|2|1 even if _ matches 4|3|2.
That's because 4|3|2|1 = 4|(3|2|1) (*). Matching this with _|1 is like
checking whether the equation _|1 = 4|(3|2|1) is consistent. This equation
can be decomposed into:
_ = 4 % consistent
1 = 3|2|1 % inconsistent!
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
