prolog - Is it possible to set variable's domain as an enumeration of names in clpfd? -


i can specify variable's domain in way:

myvar in 1..10 

or

myvar in {1,10,15} 

but have variable specify this:

activity_1__room in {room_1, room_2}  % i.e. atoms not integers 

is possible it? of course, possible encode names integers necessary?

you can't use atoms. domains in clpfd range on integers.

but suppose want "myvar should take 1 of values of list l", i.e. set not known priori. can coded as:

?- list_to_fdset(l, set),    myvar in_set set. 

Comments

Popular posts from this blog

linux - xterm copying to CLIPBOARD using copy-selection causes automatic updating of CLIPBOARD upon mouse selection -

c++ - qgraphicsview horizontal scrolling always has a vertical delta -