Re: [eclipse-clp-users] basic problem

From: Wit Jakuczun <wit.jakuczun_at_...6...>
Date: Mon, 16 Feb 2009 16:25:20 +0100
2009/2/16 Marcin Krol <mrkafk_at_...6...>:
> Wit Jakuczun wrote:
>>    I am afraid but there is no bb_min/2 defined.
>> The min arity is 3. Try to run your code
>> with bb_min(sum(X,S), S, bb_options{strategy:continue}).
> Thanks for answer, I figured that out a moment after I sent that mail,
> but now I have a different problem:
Right! There have been 2 mistakes in your code :).

The correct code should have labeling(X) instead
of sum(X, S) in bb_min predicate and S should be
defined as: S #= sum(X) (this should be added before

Moreover you do not need to use suspend module.
In fact loading it generates an error in my eclipse.

Best regards
[ Wit Jakuczun  w.jakuczun_at_...116... ]
[ WLOG Solutions   ]
Received on Mon Feb 16 2009 - 15:25:30 CET

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 09:15:00 CEST