Re: [Yap-users] Bug in Yap's CHR

[Vitor S. C. <vi...@bi...>]

Hi Matthias,

The CVS version still has the first problem (it gives the wrong
result), but at least it is consistent: it gives the same wrong result
twice.

Cheers,

Vitor