SWI-Prolog 和约束，库 CLP(FD)
我正在使用 clpfd 库处理 (swi) prolog 中的约束. 我试图确定一组约束何时封装或包含另一组约束，例如X＜4 封装了X＜7，因为只要前者为真，后者就为真.这可以很容易地用逻辑暗示来表示.但是，我无法让 #==> 运算符给我想要的结果，所以我求助于使用 not(Co1 #/\ #\Co2) ，其中 Co1 和 Co2 是约束.这对于单个约束来说很好，但是我想将约束的结合传递给
..
clpq相关内容
我很好奇逻辑程序是否可以做代数
我读了一篇关于 Prolog 和逻辑编程的简短文章.我很好奇逻辑程序是否可以做代数.就像你能问方程 5+X = 7 中 X 的变量是什么并得到 -2 的答案吗? 解决方案 所有严肃的 Prolog 系统都提供有限域上的约束逻辑编程，简称 CLP(FD)，您可以使用它轻松求解许多此类方程.例如，使用 SICStus Prolog、SWI 和 Yap: ?- use_module(libra
..
SWI-Prolog中的方程求解器
我想用SWI-Prolog编写一个解决方程式的程序.我知道GNU Prolog，这让我感到紧张...这里出了什么问题? equation(X1,X2) :- { 2*X1 + 3*X2 =:= 6, {X1 is 0; X1 is 1}, {X2 is 0; X2 is 1} }. X1和X2始终等于0或1. 解决方案 我有一个文件， :-
..
我很好奇逻辑程序是否可以代数
我阅读了有关Prolog和逻辑编程的简短文章.我很好奇逻辑程序是否可以代数.就像您能够问等式5 + X = 7中X的变量是什么，得到-2的答案一样? 解决方案 所有严肃的Prolog系统都在有限域(简称CLP(FD))上提供约束逻辑编程，您可以轻松地求解许多这样的方程.例如，使用SICStus Prolog，SWI和Yap: ?- use_module(library(clpfd))
..
SWI-Prolog和约束，库CLP（FD）
我使用clpfd库在（swi）prolog中约束。 我试图识别一组约束封装或包含其他，例如X 运算符给我想要的结果，所以我诉诸使用不（Co1＃/ \＃\Co2）其中Co1和Co2是约束。这对于个体约束是很好的，但是我想将约束的连接传递给Co1和Co2。 现在这里是rub。当我尝试 X＃
..