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@...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
bb_min).

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@...116... ]
[ WLOG Solutions http://wlogsolutions.com   ]
Received on Mon Feb 16 2009 - 15:25:30 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST