CLP（FD），代表有限域上的约束逻辑编程，在Prolog系统中实现声明性整数运算。它是低级算术谓词的纯粹和通用替代，允许您有效地解决组合问题，例如计划，调度和分配任务。
我读了一篇关于Prolog和Logic Programming的简短文章。我很好奇逻辑程序是否可以进行代数。就像你能够在等式5 + X = 7中询问X的变量是什么并获得...
这是一个非常常见的问题，但我想把它与两个在我眼中看起来非常相似的例子联系起来，而且还是一个正确而另一个没有。正确的例子：......
例如，假设我有这个程序（仅在swi-prolog中测试）:: - use_module（library（clpfd））。 ： - use_module（library（lists））。 ％Sorted具有与List相同的元素，并且还对clpfd_sort进行排序（...
我试图复制标准长度/ 2谓词的行为。特别是，我希望我的谓词适用于有界和无界的参数，如下例所示：％Case 1？ - length（...
看看以下目标（我使用来自Markus Triska的clpfd的swi-prolog）：结果（输入，结果）： - 输入＃> 10，结果=下降。结果（输入，结果）： - 输入0..20，...
在core.logic Clojure（CLP）Cryptoarithmetic中使用apply
（ns verbal-arithmetic（：require [clojure.core.logic：refer [all run * everyg lvar == membero fresh conde success fail conso resto]] [clojure.core.logic.fd：as fd]））（comment“解决......
N-Queens问题：这个问题表明，给定一个大小为N×N的国际象棋棋盘，找到不同的排列，其中N个皇后可以放在棋盘上而没有任何一个相互威胁....
我在CLP（FD）的这个页面上找不到分区（/）符号：http：//www.swi-prolog.org/man/clpfd.html这个简单的代码也给出了错误:: -use_module（library（clpfd） ）。 afn（A，B，C）： - C＃= B / A.
我已经看到了一些使用Prolog的clfpd库的cyrptarithmetic难题解算器的例子。例如，如果我有一个拼图AM + PM = DAY，它可以为0到9分配不同的值到不同的...
我正在使用CLPFD库在SWI Prolog中解决调度任务。由于这是我第一次解决比sendmory更严重的事情，我可能需要一些更好的建议......
我正在解决调度问题（这里简要描述：SWI Prolog CLP（FD）调度切换到ECLP）。我能够快速得到一些解决方案，但现在我想要整合一些优化......
Prolog约束逻辑编程 - 如何在给定整数列表的情况下在域变量列表上设置域？
基本上我想要实现的是：给定域变量列表，将这些变量设置为相对于数字列表的域。示例：...... List = [A1，A2，A3]，域（List，1,5），setDomain（...
SWI Prolog与GNU Prolog - SWI下的CLP（FD）问题
我在Prolog中写了一个快速谓词，尝试了CLP（FD）及其解决方程组的能力。问题（A，B）： - A-B＃= 320，A＃= 21 * B.当我在SWI中调用它时，我得到：？ - 问题（A，B）。 ...
我正在尝试使用约束（CLPFD）在Prolog中实现摩天大楼拼图解算器。我已经意识到一个很大的限制是计算最大开关的次数，而...
我正试图通过Prolog CLP FD使用限制编程来解决提出的难题。这个难题包含下一个简单的规则：现在，在我的代码中，我已经涵盖了限制......
如果我有（加载clpfd）：test1（Ps）： - 置换（Ps，[（a，1,1），（b，2,2），（c，3,1），（d，4,2） ）]），Ps = [（L1，W1，X1），（L2，W2，X2），（L3，W3，Y1），（L4，W4，Y2）]，链（[W1，W2，W3，W4] ]＃