변수 합계

Question

제약 조건 프로그래밍 언어 ECLiPSe (http://www.eclipseclp.org/examples/)에서 변수 합계는 어떻게합니까? 나는이 기능을 얻기 위해 시도하고있어

:

:- lib(ic).   % include the standard interval constraint library 
:- lib(branch_and_bound). % include the branch and bound library for minimization 
:- lib(ic_edge_finder).  % include the cumulative constraint library needed for resource constraints 

    triangle(sums) :- 
     places = [a,b,c,d,e,f,g,h,i], 
     places :: 1..9, 
     sums = [sum1], 
     sums :: 10..30, 
     alldifferent(places), 
     sum1 #= a + b + c + d, 
     sum1 #= b + e + f + g, 
     sum1 #= d + g + h + i, 
     flatten([places,sums],allVars), 
     labeling(allVars). 

내가지고있어 오류는 다음과 같습니다

이

[eclipse 13]: compile('2a.ecl').   
undefined arithmetic expression in _1187 is sum1 in module eclipse 
syntax error : in source transformation in triangle(sums) :- places = [a, b, c, d, e, f, g, h, i], places :: 1 .. 9, sums = [sum1], sums :: 10 .. 30, alldifferent(places), sum1 #= a + b + c + d, flatten([places, sums], allVars), labeling(allVars) 

Answer 1

이클립스, 프롤로그에서 같은 변수 이름은로 시작해야 대문자 나 밑줄 : 등

Places = [A,B,C,D,E,F,G,H,I],