Prolog -将列表中的某些元素添加到另一个列表中
Prolog是一种逻辑编程语言，它基于一阶谓词逻辑，用于描述和解决问题。在Prolog中，可以使用一些内置的操作符和谓词来处理列表。
要将列表中的某些元素添加到另一个列表中，可以使用Prolog中的递归和模式匹配来实现。下面是一个示例代码：
% 添加列表中的某些元素到另一个列表中
add_elements([], _, []).
add_elements([X|Rest], Elements, [X|Result]) :-
member(X, Elements),
add_elements(Rest, Elements, Result).
add_elements([X|Rest], Elements, Result) :-
\+ member(X, Elements),
add_elements(Rest, Elements, Result).上述代码中，add_elements/3是一个递归的谓词，它接受三个参数：原始列表、要添加的元素列表和结果列表。首先，它检查原始列表是否为空，如果是，则结果列表也为空。然后，它从原始列表中取出第一个元素X，并检查X是否在要添加的元素列表中。如果是，则将X添加到结果列表中，并递归调用add_elements/3处理剩余的元素。如果X不在要添加的元素列表中，则直接递归调用add_elements/3处理剩余的元素。
这样，通过递归调用，可以将原始列表中的某些元素添加到结果列表中。最终，返回的结果列表就是将指定元素添加到另一个列表中的结果。
在腾讯云的产品中，没有直接与Prolog相关的产品。然而，腾讯云提供了丰富的云计算服务和解决方案，可以满足各种应用场景的需求。您可以根据具体的需求选择适合的产品，例如云服务器、云数据库、云存储等。具体的产品介绍和链接地址可以在腾讯云官方网站上找到。
相关·内容
我正在学习Prolog，我很难使用递归。使用数据库的简单情况我可以理解，但我不能理解这个练习，其中实现了redu/2，它将删除给定列表的重复项，并将新列表作为第二个参数：
redu([],[]).
redu([H|T], Result):-
member(H,T),
redu(T,Result).
redu([H|T], [H|Result]):-
redu(T, Result).
跟踪结果是这样的：
[trace] ?- redu([a,b,b,c,a], X).
Call: (8) redu([a, b, b, c, a], _35630) ? creep
浏览 0提问于2017-09-18得票数 2
1回答
我在递归搜索列表和根据结果创建列表时遇到了困难。
知识库包含团队名称、获胜数和他们所在的区域，所有这些都与他们的团队编号相关联。我正在Teams中传递团队编号列表，并且正在寻找与findMinMax/3匹配的一对。我需要的结果是..。
成对团队的列表(例如。( X = [[gonzaga, washington], [iowa, oklahoma], …])和1组不匹配(由奇数个队组成)或0(偶数)
我想出了其他的一切，并且可以达到[gonzaga, washington]部分，但是递归部分失败了.
findPair(Teams,[HL|TL],Rest) :-
findMinMax(
浏览 3提问于2012-08-19得票数 2
1回答
下面的代码给了我一个致命的本地堆栈溢出错误(在找到所有解决方案之后，而不是"no")，我不明白为什么。我非常确定它与range谓词有关，因为如果我用一个列表替换它，我没有这个问题，但我不明白它是如何导致溢出的。
nqueens(N,X) :-
pattern(N,X),range(N,Yrange),legal(Yrange,X).
nocheck(_, []).
nocheck(X/Y, [X1/Y1 | Rest]) :-
Y =\= Y1,
abs(Y1-Y) =\= abs(X1-X),
nocheck(X/Y, Rest).
legal(_,[])
浏览 0提问于2018-03-15得票数 1
我目前有一个关系定义为：
relation2(relation(['Course', 'Prof', 'Local'],
[['COMP232', 'Tim W.', 'H6010'],
['COMP248', 'Louise L.', 'H5605'],
['COMP348', 'Mohamed T.', 'H761
浏览 4提问于2013-10-17得票数 0
回答已采纳
4回答
我在Prolog中编写代码时遇到了困难，它接受一个列表，删除所有素数，并返回列表的其余部分。我已经编写了一个素数检查谓词prime/1，它工作得很好，但是当我将我的程序应用到这个列表中时，就像我在Prolog中所做的几乎任何事情一样，我会根据需要获得没有素数的列表，但顺序相反。
primemover(L, Lcomp):-
primeremover(L, [], Lcomp).
primeremover([], A, A).
primeremover([H | T], A, X):-
\+ prime(H),
primeremover(T, [H | A], X).
p
浏览 3提问于2014-03-17得票数 1
回答已采纳
union([H|T],[],[H|T]).
union([],[H|T],[H|T]).
union([H|T], SET2, RESULT) :- member(H,SET2), union(T,SET2,RESULT).
union([H|T], SET2, [H|RESULT]) :- not(member(H,SET2)), union(T,SET2,RESULT).
我能够理解，它正在遍历第一个列表，并根据元素是否是第二个列表的成员添加。我有逻辑。然而，工作流对我来说是神秘的，当第一个列表耗尽时，它会将“第二个列表”的元素添加到结果中。
请有人举一个简单
浏览 0提问于2012-10-16得票数 3
回答已采纳
2回答
我对在Prolog中使用算术很陌生。
我做了一些小程序，但大多涉及逻辑。我正在尝试实现一个函数，如果每一对连续的元素之间的差异是否相同，该函数将返回true或false。
我的输入如下所示：sameSeqDiffs([3, 5, 7, 9], 2)，我觉得我需要将前两个元素从列表中分离出来，找出它们的差异，并将结果添加到一个新的列表中。处理完所有元素后，检查新列表中的元素是否都是相同的。
我已经学到了一些关于建立关系和查询这些关系的Prolog，但这似乎不符合Prolog的要求。
Update1:到目前为止，这就是我想出来的。我对这个语法非常陌生，我的代码仍然有一个错误，但我希望它传达了我想要
浏览 1提问于2018-09-28得票数 1
回答已采纳
3回答
我想定义一个成员谓词。
members(A，B)表示列表A的所有成员都是列表B的成员。top(N)定义A可以有多长。
这是我的尝试：
top(5).
members([X], L):-
member(X, L).
members([X| Xs], L):-
member(X, L),
members(Xs, L),
length(Xs, M),
top(N),
M < N.
我想使用它如下：
members(L, [1,2,3]).
我的实现的问题是，如果我；要获得新的答案，我将以一个错误结束:超出本地堆栈
?- members(I, [1,2,3]
浏览 4提问于2009-11-24得票数 2
回答已采纳
1回答
日安，
我有一项任务(不是家庭作业)，而是备考问题。给定n的值，其中n> 0。我需要找出3**n值是多少。我确实有有用的东西。
% expo
expo([],[]).
expo([X|T], [Y|Result]):-
number(X),
Y is 3 ^ X,
expo(T,Result).
expo([ThrowAway|Tail], [ThrowAway|Result]):-
expo(Tail,Result).
last([X]):-
write("M = "),
write(X).
last([Y|Tail]
浏览 3提问于2016-11-25得票数 0
回答已采纳
我想在prolog中实现以下问题：
给定L1=[1,2,3,4] and L2=[2,3,4]
调用一个名为remove_list( L1，L2，L)的函数将从L1中删除L2。
所以L是1，但是如果第二个列表的元素与L1的顺序不同，或者更准确地说，第二个元素不是第一个列表的子集，它不会删除任何东西。
说L1=[1,2,3,4,5] and L2=[2,3,6] or L2=[2,6] or L2=[4,3,2] will result L=[1,2,3,4,5]
任何帮助都将不胜感激。提前感谢
浏览 2提问于2015-03-24得票数 5
回答已采纳
目标是给出一个项目列表，使用用户定义的函数从列表中删除指定项的最后出现，除非是非常基本的内置函数，如car、cdr、=等。例如，如果给了列表(A、B、C)，则使用我们的过程从列表中删除最后出现的A应该生成一个列表(A、B、C)。希望我能说清楚。
该方案本身由五个程序组成：
四项辅助程序：
remove-1st
remove-all-occurrences
member?
size
这个小题大做的目的是：
remove-last-occurrence
顺便说一下，您会注意到所有过程都是使用尾递归实现的。
如果使用MIT/GNU方案，可以使用内置过程" load“(加载"demo.
浏览 0提问于2016-10-16得票数 2
回答已采纳
3回答
我的代码可以运行，但问题是它不止一次显示相同的结果。下面是我的代码：
disease(hiv,[sore_throat,headache,fever,rash]).
disease(pregnancy,[fatigue,vomiting,light_headedness,increased_waistline]).
disease(flu,[fatigue,fever,tiredness,nasal_discharge]).
diagnose([], []).
diagnose(Name, [H|T]) :-
disease(The_Disease, Symptoms),
m
浏览 3提问于2011-11-29得票数 4
回答已采纳
我正在尝试生成一个列表，例如
[X1/1,X2/2,X3/3....Xn/N] with given N.
我尝试创建一个函数maketemplate(N,L)，它接受N并返回L列表和Xn/N项，其中Xn是第N个变量，N是一个整数。
作为一个更简单的例子，我最初尝试用给定的N创建一个[1,2,3...N]列表，但我甚至不能让它工作。
mysolution(L,N,N).
mysolution([I|Rest],I,N):-
I < N,
I is I+1,
mysolution(Rest,I+1,N).
我如何在prolog中模拟一个类似for循环的操作？
浏览 2提问于2016-05-30得票数 1
我要做的是编写一个谓词乘法/3，它的第一个参数是整数，第二个参数是列表，第三个参数是整数与列表相乘的结果，例如：
？-乘法(3，2，7，4，结果)。
应该回来
结果= 6,21,12。
这是我的密码：
Multiplication(X,[],Result).
Multiplication(X,[Head|Tail],Result) :-
Y is X*Head,
append([Result], [Y], L),
append([],L,Result), // HERE
Multiplication(X,Tail,Result).
我得到了以
浏览 3提问于2017-04-20得票数 3
回答已采纳
2回答
我想要做一个谓词，检查一个节点是否可以到达prolog中的图中的另一个节点。例如，Connected(1,X,[[1,3],[3,4],[2,5]])，第一个参数是我想要启动的节点，第二个是我想到达的节点，第三个是边列表。到目前为止，我已经成功地做到了这一点，但是当我尝试使用findall/3获取所到达的所有节点时，我会得到一个无限循环。
有没有办法阻止无限循环，或者我应该从乞丐那里找出问题所在？
到目前为止，我的代码如下：
match([X,Y],List):- member([X,Y], List).
match([X,Y],List):- member([Y,X], List).
浏览 0提问于2014-02-23得票数 3
回答已采纳
我目前正在学习prolog和做99 prolog摘录的事情。我有一个问题要压缩列表，以便删除所有重复的元素。
预期结果：
?- compress([a,a,a,a,b,c,c,a,a,d,e,e,e,e],X).
X = [a,b,c,d,e]
我的代码目前看起来如下：
compress([],[]).
compress([H|T], X) :-
( \+ member(H, X) ->
append([H],X,X)
), compress(T,X).
通过使用trace运行此操作，它总是在第一个追加之后失败，并返回false。有谁知道如何解决这个问
浏览 1提问于2018-12-20得票数 0
回答已采纳
1回答
好的，基本上这个程序必须执行3项任务：
解析了一个以列表的形式给出的句子，在这个例子中(以及整个例子)，这个句子将是，叛逆的，tostig_godwinson，被，被杀死的。(它的历史，别问！)所以这个看起来是：
句子(noun_phrase( the )，np2(叛逆)，np2(名词(Tostig_godwinson)，verb_phrase(动词(被杀))，verb_phrase(被分析的句子)，提取主语、动词和宾语，输出为列表，例如使用当前示例的[tostig_godwinson,was,slain]。使用目标列表并将其与知识库进行比较，基本上回答了第一位提出的问题(见下面的代码)，因此
浏览 1提问于2011-04-08得票数 3
回答已采纳
嗨，我有一个prolog函数/谓词？这是两个列表的点乘积。并希望使用它来编写一个函数，从一个列表和一个列表构建一个点产品列表。因此，基本上，点乘积将在列表中的每个列表上调用，函数点在下面，它可以工作。
dot([], [], 0).
dot([Head|Tail], [Head2|Tail2], Result) :-
Prod = Head * Head2,
dot(Tail, Tail2, Remaining),
Result is Prod + Remaining.
这是我每次尝试运行的函数失败的尝试。有人能帮忙吗？
dotAll([], [[]], [0]).
浏览 2提问于2014-03-10得票数 0
回答已采纳
我有以下问题：
(def relations1
'((child-of peter carl)
(child-of carl herb)
(peter x 0 y 0 age 6)
(carl x 1 y 1 age 36)
(herb x 2 y 2 age 66)))
如果父母移动，那么孩子会以相同的距离移动，所以如果新的关系说明herb和peter已经移动了，那么我想用相同的偏移量来更新relation2中不存在的孩子，但是那些在这里的孩子我将离开他们。因此，在下一阶段：
(def relations2
'((her
浏览 6提问于2020-06-21得票数 1
1回答
我已经尝试解决以下问题一段时间了，但似乎找不到正确的解决办法。
假设有一个函数测试(X，Y，Z)，使得X是一对数字，Y是对的列表，Z是传递对的结果列表。
例如：
test((1,5), [(7,3),(5,2),(5,9)], Z).
Z = [(1,2),(1,9)]
(因传递性1->5->2及1->5->9)
到目前为止，我已经成功地创建了以下代码：
test(_,[],_):- false.
test((X1,C),[(C,Y2)|_],(X1,Y2)).
test((X1,X2),[_|YT],Result) :- test((X1,X2),YT,Result
浏览 0提问于2013-10-28得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
