prolog - 可変ドメインを非連続範囲に定義する方法

Question

私は SICStus Prolog から始めています。たとえばStartingTimes、変数を定義して、リストで定義されたドメインを持たせたいと考えています。[1, 5, 10]

SICStus Prolog でそれを行うにはどうすればよいですか?

私は次のようなことをします：

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

しかし、それは恐ろしいことです。それを行う簡単な方法があるはずです。たぶんfd_sets？

注：マニュアルでそれがどのように行われるかを調べようとしましたが、プロローグは一般的な言葉を使用しており、そのためにグーグルを使用するのは本当に難しいです.

Answer 1

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