Re: [eclipse-users] Finding which constraints failed

To add to my own earlier statement.

I am doing this at present by implementing something like this

my_own_equal(A,B,C):-

(
A $= B + C
;
printf("Ooops, %w = %w + %w failed%n",[A,B,C])
).


I was just wondering whether there is already something in place that I can
use. I had hopes of the 3 argument reified constraint format such as $=/3
but faced some problems with that so implemented my own.

Thanks

Vivek



On 8/29/07, Vivek Balaraman <vivek.balaraman_at_gmail.com> wrote:

> I have about 30 constraints in my system and about 40-50 parameters.
>
> I'd like to identify which constraint failed for a certain set of
> parameters both for debugging purposes and to inform the user
>
> What are the better ways of doing this?
>
> Thanks in advance
>
> Vivek
>
>
>
>
>