Как определить вариабельный домен быть прерывистым диапазон

Question

Я начинаю с SICStus Прологе, и я хотел бы определить переменную, скажем StartingTimes, чтобы иметь домен, определенный список [1, 5, 10]

Как я могу сделать это в SICStus Prolog?

Я хотел бы сделать что-то вроде:

domain(StartingTimes, 1, 10) 
StartingTimes #= 1 #\/ StartingTimes #= 5 #\/ StartingTimes #= 10 

Но это ужасно. Должен быть простой способ, как это сделать. Может быть fd_sets?

Примечание. Я попытался выяснить, как это делается в ручном режиме, но пролог использует общие слова, и для этого очень сложно использовать Google.

Answer 1

?- use_module(library(clpfd)). 
?- StartingTimes in {1,5,10}.