Things were pretty clear after David's explanation. Now they are even more clear. Thank you all! Best regards
2009/2/15 Raphael Collet <[email protected]> > 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 > -- Quirino Zagarese LaszloItalia Founder (www.laszloitalia.org) Software Development Manager - Galilaeus s.r.l.
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
