Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
为什么在具体化中将 clpfd 变量分配给实际值?
我正在开发一个 SWI Prolog 程序 该程序使用 CLP FD 约束来找到特定问题的解决方案 为此 我碰巧需要两个列表的 未定位 重叠 那是 List La长度为A List Lb长度为 B A gt B 未定位的重叠列表是La Lb
list
Prolog
swiprolog
clpfd
SWI-Prolog 中的约束编程
我想要一个包含三个元素 A B 和 C 的列表 L 并具有以下约束 use module library clpfd L A B C L ins 1 3 A B C 但是 它给出了一个错误 Syntax error Operator exp
Prolog
clpfd
Prolog 中的迷你数独求解器中途停止
我正在学习 七周七种语言 我只是想从书中找到一个例子 它解决迷你数独网格 4x4 作者使用的是 gprolog 但我使用的是 swi prolog 无论出于何种原因 我都无法让 gprolog 在我的虚拟机上工作 但 swi prolog
Prolog
Sudoku
clpfd
针对数字板难题的优化 CLP(FD) 求解器
考虑问题从https puzzling stackexchange com questions 20238 explore the square with 100 hops https puzzling stackexchange com
Prolog
clpfd
关于构建列表直至满足条件
我想解决 巨猫军团之谜 https youtu be YeMVoJKn1Tg由 Dan Finkel 使用 Prolog 编写 基本上你从 0 然后使用以下三个操作之一构建此列表 添加5 添加7 或采取sqrt 当您成功建立一个列表后 您就
list
Prolog
clpfd
dcg
Prolog 中的掩码
我最近一直在尝试理解 Prolog 并且一直在搞乱 Prolog 中的列表列表 我正在尝试创建一种我想在 p 中的面具 序言 我有一个谓词 它确定 Prolog 中两个列表列表 比如说 L1 和 L2 之间的差异 并将它们保存为列表列表 比
list
Prolog
masking
clpfd
如何确定矩阵的所有给定坐标都是相连的?
给定一个网格 我如何确定网格的元素是否都在单个区域中 在下面的情况下是正确的 因为矩阵中的每个元素都有一个邻居 示例1 gridneighbours 1 1 1 2 1 3 2 1 2 2 2 3 3 1 4 1 4 2 true 然而在我
Prolog
clpfd
在 prolog 中将浮点数转换为整数
如何在prolog中将浮点数转换为整数 I tried integer truncate sqrt 9 false integer round sqrt 9 false 谓词integer 1你使用的是真的iff它的参数是一个整数 自任期以
floatingpoint
Integer
Prolog
clpfd
Prolog 中的递归乘法
序言新手 编辑 使用 swi prolog 我想递归地执行乘法方法在序言中已经执行的操作 而不实际使用乘法方法 我想要实现的算法看起来像 multn N1 N2 output if n2 lt 0 return output else mu
Prolog
clpfd
multiplication
累积的使用
我正在解决一个问题 我使用cumulatives 2 3 谓词 但是当我尝试将其与minimize in labeling 我有以下演示 10 个任务 全部持续时间为 1 4 台机器 全部容量 1 我的目标是尽量减少总时间 即minimiz
Prolog
clpfd
sicstusprolog
用累积值表示设置时间
调度问题有很多系列 我正在研究一个问题 我有一系列的工作 任务 需要从一个家庭过渡到另一个家庭 需要重新配置机器 设置时间 我在用着cumulatives 2 3 解决这个问题 但我不确定设置时间如何 可以表达 在这个小例子中 我有 10
Prolog
jobscheduling
constraintprogramming
clpfd
sicstusprolog
谓词“contracting/1”是否会恢复已删除的不一致值?
这个问题是在另一个问题之后提出的我之前发过帖子 https stackoverflow com q 36260440 2936460关于 Prolog 中的自定义标签 是否contracting 1谓词 当在自定义标签谓词中对变量进行赋值之
Dynamic
Prolog
clpfd
SWI序言中#=和=:=有什么区别
What is the difference between and in SWI prolog I have found the definition from SWI prolog but still confused about it
Math
Prolog
operatorkeyword
clpfd
来自加德纳的拼图
我试图在 Prolog 中解决以下难题 编号为 0 9 的 10 个单元格刻有一个 10 位数字 每个单元格 例如 i 表示数字 i 在该数字中出现的总数 找到这个号码 答案是6210001000 这是我在 Prolog 中写的 但我被卡住
Prolog
clpfd
constraintprogramming
是否可以声明升序列表?
我可以像这样制作升序整数列表 findall L between 1 5 L List 我知道我还可以使用以下方法生成值 length X 但我不认为我可以在 findall 中使用它 就像下面的循环一样 findall X length
list
Prolog
clpfd
Clojure core.logic CLP(FD) 投影 FD 变量
我正在使用 Clojure 的 core logic CLP FD 库 core logic 版本 0 8 3 开发一种简单的方形打包算法 正方形表示如下 x11 y11 x12 y12 x21 y21 x22 y22 每个正方形表示为其左
Clojure
clpfd
clojurecorelogic
minikanren
如何防止 Prolog 在不该回溯的地方回溯
我正在尝试解决一个 CSP 我需要向调酒师分发鸡尾酒 以便每个调酒师最多拥有一份鸡尾酒 并且所有鸡尾酒都由调酒师提供 我通过创建 clpfd 变量列表来解决这个问题 首先为他们提供所有调酒师的完整域 然后删除所有不知道如何制作鸡尾酒的调酒师
Prolog
clpfd
最通用的高阶约束,描述相对于关系排序的整数序列
在 CLP FD 中 我们经常需要声明 这是整数和有限域变量的列表 有时 strictly 升序 降序 是否有任何 CLP FD 系统为此任务提供通用 可参数化 内置约束 SWI Prolog 提供了一个称为chain 2 这与我正在寻找的
Prolog
clpfd
topology
metapredicate
使用 SICStus Prolog 推广斐波那契数列
我正在尝试寻找广义斐波那契序列 GFS 查询的解决方案 问题是 是否有第 12 个数字为 885 的 GFS 最初的 2 个数字可能限制在 1 到 10 之间 我已经找到了在从 1 1 开始的序列中查找第 N 个数字的解决方案 其中我明确定
Prolog
Fibonacci
sicstusprolog
clpfd
1
2
»