我想要10个带约束的变量，但Prolog只标记9.这是我的代码：
:- use_module(library(clpfd)).
colour(Regions) :-
Regions = [A,B,C,D,E,F,G,H,I,J],
Regions ins 1..10,
all_distinct(Regions),
labeling([], Regions).
%%% Output:
?-colour(X).
A = [1, 2, 3, 4, 5, 7, 6, 10, 8|...] ; % only 9 variables labelled.
注意：
它对ins 1..9有9个变量的效果非常好。