如何在Sicstus Prolog中的CSP中設置對變量的域

Question

我正在使用Sicstus Prolog，並試圖解決Domino拼圖問題。

我有一個三胞胎列表，我需要設置的域名。我知道如何設置單個變量的域或單個變量的列表，但是如果我的列表具有三元組，並且三元組中的每個元素都有不同的域，我該如何做？

DV = [R1-C1-D1, R2-C2-D2, ... , R15-C15-D15] 

我想要做的是這樣的：

domain(R1, 1, 4) 
domain(C1, 1, 4) 
domain(D1, 0, 1) 
domain(R2, 1, 4) 
domain(C2, 1, 4) 
domain(D2, 0, 1) 
.... 
domain(R15, 1, 4) 
domain(C15, 1, 4) 
domain(D15, 0, 1) 

我怎麼能做到這一點，而無需顯式聲明每個變量的？

Answer 1

描述域爲一個元件：

eldoms(R-C-D) :- 
    domain(R, 1, 4), 
    domain(C, 1, 4), 
    domain(D, 0, 1). 

和：

..., maplist(eldoms, RCDs), ... 

使用library(maplist)。

另外，使用library(lambda)：

..., maplist(
     \ (R-C-D)^( domain(R, 1, 4), 
         domain(C, 1, 4), 
         domain(D, 0, 1)), RCDs), ...