使用in_set/2約束

Question

我試圖使用約束X不是列表中的值。

從SICStus Prolog manual：

?X in_set +FDSet 

我無法弄清楚如何將列表轉換爲FDSet，雖然。 我有一個整數列表[2,3,8,9]，我想限制變量X的域不在列表中。我怎麼做？謝謝。

Answer 1

從documentation來看，list_to_fdset/2怎麼樣？您可以翻譯爲FDSet，然後構建其補充，然後發佈in_set/2。如果您的版本沒有list_to_fdset/2，則可以輕鬆地將列表轉換爲正常的域表達式，然後發佈取消約束的in/2。在你的榜樣，那麼您需要交：

#\ X in {2}\/{3}\/{8}\/{9} 

，你只需要描述的列表和由單身的域表達，這是很容易的關係：

list_domain([I|Is], Dom) :- 
     foldl(integer_domain_, Is, {I}, Dom). 

integer_domain_(I, D0, D0 \/ {I}). 

查詢示例：

?- list_domain([1,2,3], Dom). 
Dom = {1}\/{2}\/{3}. 

?- list_domain([1,2,3], Dom), X in Dom. 
Dom = {1}\/{2}\/{3}, 
X in 1..3. 

Answer 2

我實現了一個喜歡在這裏..

/** Constraint domain to memebers of a list (of numbers only) **/ 

domain_list_constraint(_, []) :- !. 
domain_list_constraint(DomainVar, List) :- member(E, List), 
           (atom(E)->atom_number(E, I), 
           DomainVar #= I; 
           DomainVar #= E).