回答情况：
提问时间：
问题标签：
2回答
CLP(FD)允许用户为每个想要的整数变量设置域，因此它能够求解方程。但是，在CLP(R)或类似的语言中，您不能这样做(在这种语言中，您只能进行简单的推断)。不难理解为什么:一个数字的分数部分可能有一个几乎无限的区域，被一个实现限制所压缩。这意味着搜索空间太大，无法用于处理浮点数(如整数)的求解器。因此，用户的任务是在CLP(R)中编写生成器，并在需要时设置约束保护，以便将变量实例化为数字(如果不可能进行简单的推断)。
浏览 2修改于2016-03-07得票数 2
回答已采纳
3回答
我试图用clpfd解决“逃离祖格”的问题。玩具从左边开始，然后向右转。这就是我所拥有的：FYI:我还找到了这个，它有一个DCG解决方案。在其中，约束Time=<60是内置的，它找不到最低的时间。
浏览 2修改于2015-10-07得票数 3
回答已采纳
1回答
有没有可能限制一个整数，说它不能是(完美的)平方数？square(Square):- N#>0, Square #= N*N.我的第一个想法是让P*P =Q*Q*Notsquare和Remainder #>0, Remainder #= P rem Q.
浏览 1修改于2016-09-24得票数 4
回答已采纳
1回答
我甚至不确定这是否可能，但我正在尝试编写一个谓词prime/1，它将其参数限制为素数。下面是一次不起作用的尝试： N #> 1 #/\ % Has to be strictly greater than 1 N #= 2 % Can be 2 (
浏览 3修改于2020-06-20得票数 2
回答已采纳
好的，我有一个叫做CuFrog的难题，它包括在一个3x3x3立方体的每个位置填充一个数字，但是当从一个位置跳到另一个位置时，它会跳过一个位置。例如，考虑一个展平的立方体，边1上(1,1)右侧的有效位置将是边1上的(3,1)。谢谢。
浏览 1修改于2016-04-20得票数 2
2回答
现在我了解到，在本例中，I有无限多个可能的绑定，而CLPFD适用于有限域，顾名思义。
然而，我不明白为什么这个限制存在于这个特殊的案例中。简而言之:如果无限域很容易使用振幅可数，为什么CLPFD仍然不能工作？
浏览 7提问于2016-06-01得票数 8
回答已采纳
例如，假设我有这个程序(仅在swi-prolog中测试)： :- use_module(library(clpfd)).clpfd_sort(List, Sorted) :-
same_length我在哪里可以找到足够的信息来了解clpfd是如何工作的，以了解这是否是一个有效的解决方案？问这样一个简单的解决方案来做n lg(n)可能有点贪婪，但据我所知，它是10
浏览 13提问于2019-03-04得票数 4
.
bar([Var|T]) :- bar(T).clpfd,#\=(_25130,+(_25346,3))), :(clpfd,#\=(_25130,+(_25202,1))),
浏览 23提问于2020-06-23得票数 0
回答已采纳
“显而易见”不是一个轻率的词，但是为什么SWI-Prolog的CLPFD正确地解决了这个问题： ?- A+1 #= A*2.
A = 1. 但不是这样的： ?
浏览 19修改于2019-05-09得票数 3
回答已采纳
在下面的问题中，有没有一种方法可以表达OR条件，而不引入额外的谓词p (这是Project Euler1)： :- use_module(library(clpfd)).
浏览 21修改于2021-07-09得票数 0
以前我见过在有限域(clpfd)库上使用Prolog的约束逻辑编程的，我决定自己动手。我在用。:- use_module(library(clpfd)). Colors = [Pink, Cyan, Yellow, Green, Purple, Red当我在SWI中运行这个查询时，我的输出让我觉得我误解了CLPFD中的一个大概念：编辑2
我用你的建议来清理代码。我还重新引入了将数字与数字
浏览 6修改于2018-04-16得票数 6
回答已采纳
我正在尝试将整数列表转换为CLPFD域。例如[1,5,7] -> 1\/5\/7.我试着看了文件，但什么也找不到。我发现的唯一东西是fd_dom/2.我是CLPFD和prolog的新手。所以，如果有人除了回答我的问题之外还能解释fd_dom文档，我会非常感激的。
浏览 5修改于2022-04-07得票数 1
回答已采纳
我正在使用带有clpfd库的SWI-Prolog。问题是，我用1..2^(N-1)中的项目生成了一个length N列表，约束该列表具有某些属性，并计算验证约束的最大值。
浏览 0修改于2018-01-20得票数 1
我知道几种不同的方法来实现这一点，但它们都至少使用了一种来自CLPFD的方法，例如X #> 0、X ins [domain]或fd_domain(args)。
浏览 4提问于2013-11-17得票数 0
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号