как запустить приостановленные цели в прологе с ограничениями

Question

я пытаюсь решить конкретную проблему с помощью prologs ограничений решателей, и я застрял: 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 

и это запрос/цель я использую:

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

и программа будет вычислять значения X и Y (в данном случае X = 1, Y = 1 раствор). Я думаю, что, если количество аргументов в цели/запросе может меняться ... в этом случае моя пролог-программа должна иметь динамические приостановленные цели вместо строк, прокомментированных с помощью% 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 конкретный код (Еогеасп-петля, которая может быть переведена на рекурсивный хелперов предиката, конечно, и библиотека IC).

Также обратите внимание, что call(Eq0) и написание только Lhs #= Rhs должно иметь такой же эффект (afaik). Но когда переменные в Lhs #= Rhs являются решающими переменными, это, кажется, не так, по крайней мере, я столкнулся с такой проблемой несколько месяцев назад, используя lib(cplex).