例2.3 sets product/A B/i machine/m N/ week/1..2/; allowed(product, machine, week):i endsets 生成三个父集的所有组合共八组作为 allowed集的成员。列表如下: 编号 成员 (A,M,1 (A,M,2 2345678 (A,N,1 (A,N,2) (B,M,1) (B,M,2) (B,N,1) (B,N,2) 稠密集ε成员由父集成员所有组合构成的派生集(如成员列表被忽略)。 稀疏集:限制派生集的成员,使它成为父集成员所有组合构成的集合的 个子集的派生集。 同原始集一样,派生集成员的声明也可放在数据部分。生成三个父集的所有组合共八组作为allowed集的成员。列表如下： 编号 成员 • 1 (A,M,1) • 2 (A,M,2) • 3 (A,N,1) • 4 (A,N,2) • 5 (B,M,1) • 6 (B,M,2) • 7 (B,N,1) • 8 (B,N,2) 稠密集：成员由父集成员所有组合构成的派生集（如成员列表被忽略）。 稀疏集：限制派生集的成员，使它成为父集成员所有组合构成的集合的一 个子集的派生集。 同原始集一样，派生集成员的声明也可放在数据部分。 例2.3 sets: product/A B/; machine/M N/; week/1..2/; allowed(product,machine,week):x; endsets