SWI-Пролог не маркирует более 9 переменных

Я хочу 10 переменных с ограничениями, но пролог только помечает 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 переменными.

0 ответов

Другие вопросы по тегам