标签： prolog logic clpfd
几天前，我发布了一个有关如何检查矩阵中的索引列表是否相邻的问题。
Check if List of Matrix Indexes are adjacent
该解决方案效果很好。但是，现在我想使用clpfd库获得相同的结果而无需回溯。
谢谢！