我正在尝试在Prolog中解决一个约束处理问题。 我需要将尺寸分别为5x5、4x4、3x3和2x2的4个正方形放置在一个10x10的网格中，不能重叠。 我的变量看起来像这样： I'm trying to solve a constraint processing problem in ...

我正在尝试构建一个简单的Prolog SAT求解器。我的想法是用户应该使用Prolog列表以CNF（Conjuctive Normal Form）的形式输入要解决的布尔公式，例如(A或B)和(B或C)应该被表示为sat([[A，B]，[B，C]])，然后Prolog将找到A、B、C的值。 我...