Prolog SAT求解器
我正在尝试构建一个简单的 Prolog SAT 求解器.我的想法是用户应该使用Prolog列表输入要在CNF(Conjuctive Normal Form)中求解的布尔公式，例如(A或B)和(B或C)应该表示为sat([[A，B], [B, C]]) 和 Prolog 继续查找 A、B、C 的值. 我的以下代码不起作用，我不明白为什么.在跟踪的这一行 Call: (7) sat([[true
..
clpb相关内容
Prolog 约束处理 : Packing Squares
我正在尝试解决 prolog 中的约束处理问题. 我需要在 10x10 的网格中打包 4 个 5x5、4x4、3x3 和 2x2 的正方形.它们不能重叠. 我的变量如下所示: 名称:SqX(i)，i=1..10，域:1..10 其中 X 为 5、4、3 或 2.索引 i 表示网格中的行，域表示网格中的列. 我的第一个约束尝试定义正方形的宽度和高度.我这样表述: 约束:SqX
..
CLPB 的不良特性
library(clpb) 目前在 SICStus(原始版本)和 SWI(通过 mat)中可用.让我很快进入本质: ?- X = 1+1, sat(X), X = 1+1.X = 1+1.?- sat(X)，X = 1+1.错误的. 所以这是一个类似的问题，因为它存在于library(clpfd)的默认状态. 遇到这种情况怎么办? 更新:在mat的library(clpfd)中，现
..
Prolog SAT解算器
我正在尝试构建一个简单的Prolog SAT解算器.我的想法是，用户应使用Prolog列表输入要在CNF(共轭范式)中求解的布尔公式，例如(A或B)，而(B或C)应表示为sat([[A，B] ，[B，C]])和Prolog继续查找A，B，C的值. 我的以下代码无法正常工作，我也不明白为什么.在跟踪的这一行上，致电:(7)sat([[true，true]])吗??我期待的是 start_sol
..
前序约束处理：包装正方形
我试图在prolog中解决约束处理问题。 我需要在10x10的网格中打包5x5,4x4,3x3和2x2的4个正方形。 它们不能重叠。 我的变量如下所示： 名称：SqX（i），i = 1..10，domain：1..10 其中X是5,4,3或2.索引i表示行，网格中的列。 我的第一个约束尝试定义正方形的宽度和高度。我如此规定： 约束：SqX（i
..
简单的布尔前pression测试
| ？ - [用户]。 编译用户对于字节code ... formula_0（P，Q）： - （P，Q），\\ + P。用户编译，2线读取 - 768字节写入，37208毫秒是 | ？ - formula_0（P，Q）。 未捕获的异常：错误（instantiation_error，formula_0 / 2） 所有我基本上想要做的就是要问的是一组前pressions的{P或Q，〜p}
..