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没有“赋值”，所以要注意，一般情况下，你应该首先了解它特有的编程模型。在这种情况下，您可以“调用”您的绑定，给库(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.

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