Re:

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Tue 22 Mar 2005 06:52:19 PM GMT
Message-ID: <42406963.2050309@icparc.ic.ac.uk> 
chegivara wrote:
> cost1([],[],[]).
> cost1([H1|TT],[H2|List],[H3|L]) :-
> 	cost1(TT,List,L),
> 	H3 is H1*H2.

The is/2 predicate is not a constraint, it works only when the right
hand side is already known. If you replace it with #= everything is fine.


-- 
  Joachim Schimpf              /             phone: +44 20 7594 8187
  IC-Parc                     /      mailto:J.Schimpf@imperial.ac.uk
  Imperial College London    /    http://www.icparc.ic.ac.uk/eclipse
Received on Tue Mar 22 18:54:41 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:34 PM GMT GMT