prolog - Sicstus 序言 : labeling a list in a list

Question

自从我处理 Sicstus prolog 中的标签问题以来，已经有很长时间了。我想创建一个长度为 7 的数组，其中每个项目又是一个包含 4 个整数的数组。我尝试了以下代码，但它不起作用并给出了实例化错误。

:- use_module(library(clpfd)).

schedule(Ss) :-    
    length(Ss, 7),
    Ss = [[A, B, C, D]|T],
    solve_days(Ss),
    labeling([], Ss).

solve_days([]).
solve_days([[A, B, C, D]|T]):-
    A in 1..3,
    B in 4..7,
    C in 7..9,
    D in 6..10,
   solve_days(T).        

谁能给我一个建议如何解决它？非常感谢!

Answer 1

标签的参数必须是一个简单的列表。解决此问题的一种方法是使用 append/3 来展平 A..D 和 T，例如append([A,B,C,D],T,Vars) 。