SWI Prolog，CLP（R）：我可以将约束绑定到变量吗？

Question

还是可以将约束变量绑定到另一个变量（请参见下面的示例）？

?- use_module(library(clpr)).
true.

% this works
?- {X >= 5.0, X =< 10.0}, minimize(X).
X = 5.0 .

% but I do not know why this fails
?- C = {X >= 5.0, X =< 10.0}, minimize(X).
false.

% and this also fails consequently
?- C = {X >= 5.0, X =< 10.0}, term_variables(C, [Var]), minimize(Var).
false.

Answer 1

Prolog没有“分配”，因此请注意，通常您应该首先了解其特殊的编程模型。 在这种情况下，您可以“调用”您的绑定，使library（clpr）有机会执行其复杂的任务：

?- use_module(library(clpr)).
true.

?- {X >= 5.0, X =< 10.0}, minimize(X).
X = 5.0 ;
false.

?- C = {X >= 5.0, X =< 10.0}, C, minimize(X).
C = {5.0>=5.0, 5.0=<10.0},
X = 5.0 ;
false.

但是我认为系统地将此技巧应用于约束模型可能会导致应用程序脆弱。