CI 是给定的向量。每个元素都是笛卡尔索引。 朱莉娅> CI 5 元素向量{CartesianIndex{3}}： 笛卡尔索引(1, 3, 1) ...
我是 Prolog 新手，我正在尝试编写一个谓词，其中矩阵如 M = [[_, _, a, ], [, _, _, ], [a, a, a, a], [, _, a, _]], 给出了一个字母和一个坐标，我需要替换它
我使用CLP(FD)和SWI-Prolog编写了一个CSP程序。 有些约束看起来像 Xi mod N #= 0，所以我必须为每个变量 Xi 调用 res(Xi,Li) （使用 res(X,L) :- setof(X, indomain(X), L)）。 ..