Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
这是如何计算的?我试图了解 H 的值如何在列表中分配
该谓词应该打印尺寸列表N包含可能的排列0 and 1 我的问题是 H每次递归都会结转 或者使用以下值创建列表bit H 发生在回溯阶段吗 bit 0 bit 1 gen 0 gen N H T N gt 0 bit H N1 is N 1
recursion
Prolog
backtracking
在 prolog 中将浮点数转换为整数
如何在prolog中将浮点数转换为整数 I tried integer truncate sqrt 9 false integer round sqrt 9 false 谓词integer 1你使用的是真的iff它的参数是一个整数 自任期以
floatingpoint
Integer
Prolog
clpfd
在 SWI-Prolog 中,是否有一种简单的方法可以使用 REPL 将数字从一个基数转换为另一个基数?
在使用 REPL 的 SWI Prolog 中 可以轻松地从任何基数转换为基数 10 例如 X 16 FF X 255 X 2 11111111 X 255 然而这失败了 没想到它会起作用 但显示了我的想法 2 X 16 FF ERROR
Prolog
swiprolog
列表列表中是否存在某个元素?
我想查找给定元素是否存在于列表列表中 只有当该元素存在于列表的第一个列表中的某处时 我才得到正确的结果 有什么建议吗 memberlist X X T1 T2 memberlist X H T1 T2 memberlist X T1 T2
list
Prolog
member
B-Prolog 中带有累加器的嵌套循环
B Prolog 具有逻辑循环 例如 我们可以这样计算 1 2 3 的和 test1 foreach A in 1 3 ac Sa 0 Sa 1 is Sa 0 A writeln sa Sa test1 test1 sa 6 yes 但是
Prolog
bprolog
SWI-Prolog 中的可逆谓词和字符串
append 3是一个非常强大的谓词 假设我想要一个以相同方式工作但针对 SWI Prolog 字符串的谓词 我看到的最简单的方法是将这些字符串转换为列表string codes 2 然后应用append 3 然后使用string code
string
Prolog
predicate
swiprolog
如何查明 Prolog 是否执行尾调用优化
使用SWI Prolog Win x64 的开发版本 我为 a 编写了一个 DCG 谓词确定性词法分析器 托管在 github 上 https github com sebgod goldparser prolog 因此所有外部谓词都没有留
Prolog
tailrecursion
dcg
tailcalloptimization
prolog 如何使用 succ 运行递归查询?
有人可以向我解释一下为什么这个序言查询会这样工作吗 定义是 add 0 Y Y add succ X Y succ Z add X Y Z 鉴于这种 add succ succ succ 0 succ succ 0 R 这是查询的轨迹 Ca
Prolog
successorarithmetics
Prolog 中的选择排序
我是 Prolog 的新手 我正在尝试进行选择排序 这是我所拥有的 ssort ssort M S L min M L remove M L N ssort S N min M M min M H T min N T min2 M H N
Prolog
programslicing
将列表 1 中的特定数字与列表 2 中的特定数字交换
最近在温习一些Prolog 我有点喜欢随机提出问题来尝试解决 然后解决它们 但这是相当困难的 我不是一个会放弃我已经着手解决的问题的人 问题 我想创建一个谓词 它有 2 个预先确定的列表 2 个要交换的数字 然后在交换完成后输出列表 进一步
list
Prolog
predicate
在 SWI-Prolog 中打开并检查 Pem 文件
如何打开 Pem 文件来检查 a 不早于 和 不晚于 日期是否正常 以及 b pem 文件中是否存在通往路由证书颁发机构的证书链 我努力了 use module library http http client url http fm4dd
SSL
Prolog
swiprolog
pem
序言中的谓词
我需要在 prolog 中定义一个谓词 它将一个列表作为输入 对 gt 5 的数字的平方求和 并减去 这就是我目前所拥有的 pred 0 pred Head Tail Result gr85 Head pred Tail Total Res
Prolog
在SWI prolog中实现nth1列表操作
您将如何在 Prolog 中编写您自己的谓词 以准确执行 nth1 函数的功能 对于那些不熟悉该功能的人 可以通过一个示例来最好地展示其功能 nth1 2 a b c E R E b R a c 当调用 nth1 函数时 传递以下内容 一个
list
Prolog
predicate
模式匹配 - Prolog 与 Haskell
这不是一个家庭作业问题 而是一个考试学习指导问题 Prolog 与 Haskell 中的模式匹配有什么区别 我做了一些研究并阅读了它们背后的理论并没有真正让我对两者有一个坚实的理解 我在Prolog中读到 模式匹配是不同的 因为它具有统一变
Haskell
Prolog
patternmatching
河内塔序言
您好 我在实施河内塔时遇到问题 我需要打印包含必要动作的列表列表 但我的算法仅在光盘数量为 N 1 时才起作用 这是我的代码 move 1 X Y L append X Y L move N X Y Z N gt 1 M is N 1 mo
Prolog
towersofhanoi
Prolog,在列表中找到最小值
简而言之 如何找到列表中的最小值 感谢卡雷尔的建议 很长的故事 我在 amzi prolog 中创建了一个加权图 并给定 2 个节点 我能够检索路径列表 但是 我需要找到该路径中的最小值 但无法遍历列表来执行此操作 我可以就如何确定列表中的
list
Prolog
Minimum
Traversal
急切地评估 Prolog 中的所有谓词调用
正在阅读有关元谓词的 SWI Prolog 文档 http www swi prolog org pldoc man section metapred 我最初假设call f 相当于f where f是一些谓词 但我观察到 在某些情况下 两
Prolog
prolog 中递归的停止条件
以下是我的知识库中的事实 http www doc gold ac uk mas02gw prolog教程 prolog页面 recursion html http www doc gold ac uk mas02gw prolog tut
recursion
Prolog
transitiveclosure
什么东西永远不等于自己?
Prolog 中是否存在不等于其自身的价值 我写的answer https stackoverflow com a 53404595 10631003对某些人关于树的最小值的问题 https stackoverflow com q 5339
Prolog
prologdif
删除 DCG 中的左递归 - Prolog
我在这个语法中遇到了一个关于左递归的小问题 我正在尝试用 Prolog 编写它 但我不知道如何删除左递归
Prolog
grammar
dcg
leftrecursion
prologtabling
«
1 ...
3
4
5
6
7
8
9
...22
»