나는 프롤로그 제약 솔버를 사용하여 특정 문제를 해결하기 위해 노력하고 제약

Question

와 프롤로그에서 일시 중단 된 목표를 실행하고 나는 붙어하는 방법 : D 내 문제의 요구 사항의 일반적인 버전은 같은 것입니다 :

:- lib(ic).:- lib(ic). 
solve([A1*X+B1*Y=C1, A2*X+B2*Y=C2]):- 
X::[0..999], 
Y::[0..999], 
X #\= 0, 
Y #\= 0, 

A1*X+B1*Y#=C1, % line1 
A2*X+B2*Y#=C2. % line2 

(Y = 1 용액이 경우 X = 1)

solve([2*X+3*Y=5, 3*X+2*Y=5]). 

그리고 X와 Y의 값을 계산한다 프로그램 :

는 그리고 이것은 질의/I가 사용하는 목표이다. 목표/쿼리의 인수 수가 달라질 수 있습니다.이 경우 내 프롤로그 프로그램은 % line1 및 % line2로 주석 처리 된 행 대신 동적 중단 목표를 가져야합니다.

질문 : 어떻게 표현을 지연시킬 수 있습니까? 나는이 문제를 어렵게 코드화하고 두 개의 표현식 만 목표를 넘어서고 싶지는 않다고 생각한다.

희망은 분명하다. 감사합니다. .

Answer 1

난 당신이 뭔가를 의미 생각 :

:- lib(ic). 

solve([]). 
solve([Eq | Eqs]) :- 
     term_variables(Eq, Vars), 
     Vars :: [0..999], 
     (foreach(Var, Vars) do Var #\= 0), 
     Eq = (Lhs = Rhs), 
     Eq0 = (Lhs #= Rhs), 
     call(Eq0), 
     solve(Eqs). 

이 ECLiPSe-CLP 특정 코드입니다 주 (물론, 재귀 도우미 술어로 번역 할 수있는 foreach는 루프가와 IC 라이브러리).

또한 call(Eq0)과 쓰기는 단지 Lhs #= Rhs입니다 (afaik). 그러나 Lhs #= Rhs의 변수가 솔버 변수 인 경우에는 그렇지 않습니다. 적어도 몇 달 전에 lib(cplex)을 사용하여 이러한 문제가 발생했습니다.