腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
如何
使用
递归
根据
谓词
来
裁剪
引入
列表
的
序列
、
我目前正在练习
递归
,我经常遇到
的
一个问题是将一个
序列
切成一个
列表
。我试着自己解决这个问题,但没有成功: 我
的
代码: def cut_sequence_at(seq, pred) -> list: return [[]], [6], [3, 4], [12], [8], [7, 2], [1]] [[8, 6], [3, 4, 12, 8], [7, 2], [1]] 很明显,我
的
逻辑有问题,但我不
浏览 35
提问于2021-02-25
得票数 0
回答已采纳
1
回答
如何
将树转换为Prolog中
的
列表
?
实现
谓词
treeToList(X,List),其中X是给定
的
有序非空二叉树,而List是树节点中元素
的
有
序列表
。/ \ / \ / \ 是一个有序树,作为
谓词
"treeToList“
的
输入。你
的
程序必须计算
列表
1,2,3,4,5,6,7。如果X是给定
的
非空树,则帮助
谓
浏览 3
提问于2019-12-03
得票数 1
回答已采纳
5
回答
在没有SWI累加器
的
情况下,可以从0增加/计数到n吗?
我试图从0计数到N,一次返回一个值,而不是像numlist/3那样
的
列表
。我相信,可以在两个
谓词
语句中
使用
递归
,但我遇到了一个停止条件,它以我正在寻找
的
方式工作:iterate(X,N) :- iterate(Y,N), Y < N, X is
根据
我目前
的
理解,第一个
谓词
在调用iterate(X,N)时总是返回0作为第一个值,第二个
谓词
将通过
递归
调用迭代
浏览 3
提问于2020-11-15
得票数 1
回答已采纳
1
回答
Ssreflect
序列
元素
的
协q证明条件
、
我
的
目标是这样
的
:在上面,f是一个定义,
根据
v, j生成一个不等式
的
解,P v j是一个
谓词
,限制j到满足另一个不等式
的
索引。我已经证明了Goal : P v j -> (f v j > 0),但是
如何
用它
来
证明
序列
中
的
任何x都是有效
的
呢?我只
浏览 2
提问于2017-05-29
得票数 2
回答已采纳
1
回答
关于Isabelle/HOL中一种共数据类型整体
的
推理
、
为了在图中讨论一个可能
的
无限路径,我认为明智
的
做法是
使用
像'a llist这样
的
懒散
列表
codatatype,如在Isabelle /HOL中定义(Co)数据类型和原始(Co)
递归
函数(伊莎贝尔分布中
的
这很好,但是我想定义一个
谓词
,它接受这样
的
列表
和一个图关系,并计算为true,当且仅当
列表
定义了图中
的
有效路径:
列表
中
的
任何相
浏览 3
提问于2018-03-21
得票数 2
回答已采纳
1
回答
在Prolog中正确建表
、
、
我正在尝试编写一个
谓词
,以便在Prolog中删除有
序列表
中
的
元素。这是家庭作业
的
一部分,我对Prolog
的
语义一般是
如何
工作
的
感到非常困惑。我已经跟踪了目标,看起来我不应该像通过
递归
调用rdup
来
构建结果
列表
那样构建结果
列表
。我不确定我应该
如何
建立结果
列表
。谁能告诉我我
的
推理哪里错了,或者应该
如何
用Prolog
递归</e
浏览 0
提问于2013-06-02
得票数 0
回答已采纳
1
回答
合并排序输出方案
、
、
、
我有一个合并排序函数,它接受一个
谓词
和一个实值
列表
,然后
根据
谓词
对它们进行排序。例如: ---> (7 6 4 1)(define *Mark* (gender . female)) '( (age . 40)用于
浏览 1
提问于2014-11-06
得票数 0
回答已采纳
3
回答
获取满足
谓词
的
序列
元素,然后在Kotlin中从那里继续
、
、
、
、
在Kotlin中,
序列
有一个takeWhile函数,只要项符合给定
的
谓词
,就可以
使用
它。我想要做
的
是
根据
这个
谓词
获取项,以某种方式
使用
它们,然后更改
谓词
并获取下一个“批处理”。到目前为止,我还没有真正找到一种纯粹
使用
序列
和迭代器所提供
的
功能来完成此任务
的
方法。 下面的代码片段说明了这个问题。primeGenerator()函数返回一个由质数(长)组成
的</
浏览 22
提问于2020-02-04
得票数 0
回答已采纳
1
回答
Prolog,查找最佳匹配
、
、
以及在运行时生成
的
列表
,例如:在这个
列表
中,在这种情况下,我希望返回“Kitchen”,因为它是最佳匹配。我认为我需要
使用
intersection/3
谓词
来
计算运行时
列表
中有多少个匹配项,因此Kitchen将返回2,其他
的
将返回0,但是我不知道
如何
递归
遍历所有的relation/2
谓词
并测试每个
谓词
,然后只
浏览 0
提问于2012-04-20
得票数 4
回答已采纳
3
回答
prolog上
的
嵌套
列表
尾
递归
、
、
我试图执行嵌套
列表
尾
递归
,而不用
使用
内置
的
flatten函数[trace] 13 ?- sum([1,2,3,4,5,6],Sum).但是如果我在嵌套
列表
上尝试谢谢你
的
帮助
浏览 5
提问于2014-08-03
得票数 0
回答已采纳
1
回答
如何
回答这个关于路径
的
开场白问题?
在Prolog中,我们可以
引入
一个关于边方向
的
谓词
来
表示上面的图:edge(a,b).我们进一步介绍一个关于节点连通性
的
谓词
:connected(X,Y) :- edge(X,Z), connected(Z,Y).现在,我们希望
使用
谓词
path(X,Y,P)进一步扩展我们
的
程序,它将
使用
变量P
来
保存节点
列表<
浏览 4
提问于2019-09-22
得票数 0
3
回答
用Prolog将两个
列表
合并为on ordered
给定两个
列表
: L1 = 1,3,5和L2 = 1,2,4,我需要编写代码将它们按排序顺序合并,因此
使用
cut operator或fail得到
的
结果将是L3 = 1,1,2,3,4,5 w/o。我逐渐熟悉了Prolog,但我不确定
如何
解决这个问题。有人能告诉我怎么解决这个问题吗?
浏览 0
提问于2016-03-23
得票数 0
1
回答
使用
尾
递归
来复制
列表
中
的
项
、
、
、
我有一个家庭作业问题,要求我们写一个
谓词
来
创建
列表
中每一项
的
副本,首先
使用
线性
递归
,然后
使用
尾
递归
。我们不能
使用
内置
谓词
。dup_elem_tail([], Res, Res). dup_elem_tail([P | R], Lst2, Aux) :-
浏览 7
提问于2019-04-17
得票数 2
3
回答
如何
检查
列表
中元素
的
类型
、
、
我
的
列表
(依次包含
列表
)包含许多不同类型
的
元素(obj1()、obj2()、obj3.)。我想访问这个
列表
中
的
每个元素,并且只在我当前访问
的
元素是obj2(_)类型时才执行一些操作。
浏览 3
提问于2014-02-18
得票数 0
回答已采纳
2
回答
和和平方根
列表
元素
因此,我目前正在尝试
使用
Prolog计算一个公式。目前,我已经完成了部分公式,但是我在实现下一部分时遇到了困难,我需要添加
列表
中
的
元素,然后用平方根表示和。不知道我会怎么做。
浏览 12
提问于2014-04-15
得票数 1
回答已采纳
1
回答
在Prolog编程中
使用
Cut和Not
、
我知道削减
的
用途(!)在普罗洛。有人能解释一下我,在Prolog中
使用
Not
的
用法,何时以及
如何
使用
Not &
如何
用剪切和避免回溯重写下面的代码。(仅
使用
谓词
)choose(N, [_|T],R) :- Choose(N,T,R) 并解释
如何
重写以下内容(仅
使用
浏览 2
提问于2017-08-04
得票数 1
1
回答
Prolog问题{lists}
、
我在用prolog实现代码时遇到了一些问题,因为我觉得很难理解它,因为我习惯于正常编码: 我必须对整数
列表
进行排序,但它必须保留重复
的
值。我试着想出一个解决方案,我会用气泡排序,但我不知道
如何
用prolog来写它。如果有人能一步一步地解释代码并启发我,我真的很感激.是的,我
的
另一个问题是排序一个由整数和数字
列表
组成
的
列表
.我不知道怎么开始这个..。
浏览 5
提问于2022-03-30
得票数 0
回答已采纳
1
回答
Prolog
递归
并没有像预期
的
那样停止
、
大家好,这是我
的
第一篇帖子,所以如果你对
如何
提问有任何建议的话,我会全神贯注
的
。关于我
的
问题,我试图
使用
递归
对一个数字
列表
进行排序,我有一个my_max/2
谓词
,它返回一个
列表
的
最大值,在返回之后,我从
列表
中选择这个值,然后将它添加到我
的
排
序列表
中。然后我又想起了新
的
名单。我
的
问题是,
谓词
似乎工作并找
浏览 0
提问于2017-11-11
得票数 3
回答已采纳
1
回答
如何
在Prolog中
使用
求值
、
我正在尝试写一个
谓词
,
根据
预先定义
的
关于大学必备条件
的
事实,它将能够在
列表
中列出所有的先决条件。
如何
在
递归
调用中
使用
从prereqs中获得
的
答案?或者我说
的
都错了?
浏览 0
提问于2015-11-24
得票数 0
2
回答
Prolog程序未正确合并排
序列表
我有一个简单
的
程序,我正在尝试用Prolog编写。本质上,当我学习练习时,我正在尝试编写一个程序,它接受两个排
序列表
作为输入,并返回合并后
的
列表
,该
列表
也是排序
的
。我将
谓词
"merge2“命名为"merge”,以免与包含
的
谓词
“merge”混淆,后者似乎已经做到了这一点。merge2([],[],[]). merge2([X],[
浏览 0
提问于2020-02-18
得票数 1
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
C+模板元编程:探索无穷可能性的神技!
Python匿名函数、递归函数
Python基础教程 另一个经典案例:二分查找
决策树算法及应用
都应该了解的Python函数式编程
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券