我从 SICStus Prolog 开始,我想定义一个变量,比如说StartingTimes
,让域由 list 定义[1, 5, 10]
我怎样才能在 SICStus Prolog 中做到这一点?
我会做类似的事情:
domain(StartingTimes, 1, 10)
StartingTimes #= 1 #\/ StartingTimes #= 5 #\/ StartingTimes #= 10
但这太可怕了。必须有一个简单的方法来做到这一点。也许fd_sets
?
注意:我试图找出它是如何在手册中完成的,但是序言使用了常用词,而且很难使用谷歌来做到这一点。