Пролог: случайная маркировка

У меня есть программа, написанная на Sicstus Prolog с использованием ограничений. Моя цель - использовать маркировку / 2 и какой-то другой метод для получения случайного экземпляра моих переменных.

Пример:

X #> 2, Y #= 2*X, Z #<10

Если я использую

List = [X,Y,Z],
labeling([], List)

Первым полученным результатом будет X = Y = Z = 0. Как вы думаете, как лучше всего вернуть случайный набор значений для X, Y и Z?