[eclipse-clp-users] basic problem

From: Marcin Krol <mrkafk_at_gmail.com>
Date: Mon, 16 Feb 2009 15:57:54 +0100
Hello everyone,

I'm totally new to ECLiPSe, and set out to solving rather silly problem 
purely for sake of learning: find a minimum sum of 6 integers, all 
different, with each integer belonging to a given range.

:- lib(ic).
:- lib(branch_and_bound).

minsum(X, Range) :-
     X = [A,B,C,D,E,F],
     X :: 1 .. Range,
     integers(X),
     alldifferent(X),
     bb_min(sum(X,S),S),
     labeling(X).

However, I get:

calling an undefined procedure bb_min(sum([_313, _331, _349, _367, _385, 
_403], _612), _612) in module eclipse

How come? After all, I do use relevant branch_and_bound library?

Regards,
mk
Received on Mon Feb 16 2009 - 14:58:03 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET