如何定义一个变量域是不连续的范围

Question

我开始与SICStus Prolog的，我想定义一个变量，说StartingTimes，有通过列表[1, 5, 10]

我该怎么办定义域它在SICStus Prolog中？

我会做这样的事情：

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

但是，这是可怕的。必须有一个简单的方法来做到这一点。也许fd_sets？

注意：我试图找出它是如何在手册中完成的，但prolog使用常见的词语，并且使用google很难。

Answer 1

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