如何将变量域定义为非连续范围答案

【问题标题】：How to define a variable domain to be non-continuous range如何将变量域定义为非连续范围
【发布时间】：2013-05-06 08:41:41
【问题描述】：

我从 SICStus Prolog 开始，我想定义一个变量，比如 StartingTimes，以拥有一个由列表 [1, 5, 10] 定义的域

如何在 SICStus Prolog 中进行操作？

我会这样做：

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

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

注意：我试图找出它是如何手动完成的，但序言使用了常用词，并且很难使用 google。

【问题讨论】：

【解决方案1】：

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

【讨论】：