prolog - How to define a variable domain to be non-continuous range -


i'm starting sicstus prolog , define variable, startingtimes, have domain defined list [1, 5, 10]

how can in sicstus prolog?

i like:

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

but horrible. there must simple way how that. maybe fd_sets?

note: tried find out how done in manual prolog uses common words , it's hard use google that.

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

Comments