问题标签 [clpz]

问问题

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

4 问题
Newest
Active
Bountied
318
Unanswered
0 投票
2 回答
1327 浏览

list - 在列表 Prolog 中查找 2 的幂

我正在尝试在 Prolog (SWI Prolog) 中创建一个列表并检查哪些数字是 2 的幂，然后查找特定数字在列表中的次数（在此示例中，我试图找到该数字的次数3 在列表中）。例如，如果您问

你应该看到

我第一次尝试找到解决方案是使用 head 搜索列表并执行 head mod 2 = 0 以查找所有 2 的幂的数字，但出现问题，我只得到“假”作为答案。

0 投票
1 回答
94 浏览

prolog - 在 SICStus Prolog 中使用 CLMUL

如何让 SICStus Prolog JIT使用以下任何ISA？

我需要它们来为增压。现在，我得到了：

  1. http://www.hackersdelight.org/和

  2. 非 ISO 算术函数msb/1。

一开始很好，但我想要更多。请帮忙！

0 投票
0 回答
45 浏览

prolog - prolog clp 标签 - 忽略一些变量？

我的基本定义

将单词变成整数

生成所有组合的主程序

当我调用 MenuList(X) 时，给空变量它能够生成所有可能的组合，但是当我给它一个列表时，MenuList([vanilla, X, Y])它会在它应该生成以香草开头的所有冰淇淋配料组合时失败。

第二个问题我不知道如何将整数转换为单词，所以我不想得到 Menu = [1, 2, 3] 我想得到 Menu = [香草，巧克力，草莓]。

0 投票
1 回答
118 浏览

constraint-programming - clp(Z) 与 Kiselyov 关系算术

我正在努力理解 clp(Z) 和MiniKanren 中使用的另一个关系算术系统之间的功能差异。

特别是，clp(Z) 显然适用于有界场，而 Kiselyov等人。被描述为适用于无界字段。

我尝试使用与无穷大和不确定性相关的各种边缘情况，但除了 Kiselyov等人之外，我无法找到明显的差异。显然不支持区间和负数。

Kiselyov 系统的要点/优势是什么？主要是实现更简单，还是有更多？


12345678910