集合(列表)的Prolog
集合（列表）是一种数据结构，用于存储一组有序的元素。在Prolog中，集合通常用方括号括起来，并用逗号分隔元素。集合可以包含任意类型的元素，包括数字、原子、变量、列表等。
集合在Prolog中有以下特点和应用场景：
- 特点：
- 集合中的元素是有序的，可以按照插入的顺序进行访问。
- 集合中可以包含重复的元素。
- 集合可以动态地增加或删除元素。
- 应用场景：
- 数据存储和处理：集合可以用于存储和处理一组相关的数据，例如存储学生的成绩、员工的工资等。
- 算法和逻辑编程：集合在Prolog中常用于表示和处理逻辑关系，例如表示图的邻接关系、表示逻辑规则等。
- 数据过滤和筛选：集合可以用于对数据进行过滤和筛选，例如筛选出满足某个条件的元素。
在腾讯云的产品中，与集合相关的产品有：
- 腾讯云数据库（TencentDB）：提供了多种数据库产品，如云数据库MySQL、云数据库Redis等，可以用于存储和处理大量数据集合。
- 腾讯云对象存储（COS）：提供了高可靠、低成本的对象存储服务，可以用于存储和管理大规模的数据集合。
- 腾讯云消息队列（CMQ）：提供了消息队列服务，可以用于实现消息的发布和订阅，方便处理和传递数据集合。
以上是腾讯云相关产品的简介，更详细的信息可以参考腾讯云官方网站：腾讯云产品。
相关·内容
3回答
无法理解Prolog是如何工作的。我尝试编写一条规则，将三个整数列表作为输入(表示集合)，并将同时属于第一个和第二个列表的整数放在第三个列表中。
示例：
?-inter([10,20,30,40],[10,50,40,60], List3 )
List3 = [10, 40]
到目前为止，我有这个，它可以识别一个列表是否包含某个字母：
mymember(X,[X|T]).
mymember(X,[H|T]) :- mymember(X,T).
浏览 0提问于2012-09-09得票数 1
1回答
我很难理解逻辑编程的概念。我正在尝试将所有具有重复的排列放入一个给定列表中。
我可以把我有的东西放进去，但我不知道我在做什么！
perms_R(List,[]).
perms_R([X|Xt],[Y|Yt],Out) :- perms_R([Y|Xt],Yt),perms_R(Xt,[Y|Yt])
。
我们的想法是遍历第二个列表中的每个元素，并将其放入第一个列表中。我在试着解决这个问题，但是我被卡住了。
我需要调用perms_R(a，b，c，d,1,2,3,4)。并获取：
1,1,1,1
1,1,1,2
1,1,1,3
1,1,1,4
1,1,2,1
etc....
我知道第一个列表看起来没用
浏览 0提问于2011-04-23得票数 2
回答已采纳
2回答
我试着从事实中创建一个列表：
mother(jane,jerry).
mother(susan,riche).
mother(helen,kuyt).
我想将母亲的名字转换为一个包含许多元素的列表，如下所示：
momlist([jane,susan],2).
momlist([jane,susan,helen],3).
momlist([jane],1).
我试着用以下命令来创建它：
momlist(X,Number):- mom(X,_),
NewNum is Number-1,
NewNum > 0,
write(x),
momlist(X,NewNum).
它只是写下妈妈名字的数字
浏览 1提问于2011-04-26得票数 0
回答已采纳
据我所知，可以使用谓词setof/3和bagof/3，生成解决问题的解决方案列表。。
正如预期的那样，以下查询的解决方案是a、b和c。
?- nth(_, [a,b,c], X).
X = a ? ;
X = b ? ;
X = c ? ;
yes
现在我试试看：
?- setof(X, nth(_, [a,b,c], X), ListOfSolutions).
ListOfSolutions = [a] ? ;
ListOfSolutions = [b] ? ;
ListOfSolutions = [c]
yes
在我看来，解决办法应该是a，b，c。我做错了
浏览 1提问于2011-06-10得票数 2
回答已采纳
我试图用Prolog写一个联合函数，但遇到了一些麻烦。我已经查找了示例并列出了联合的内置示例，但我正在为一项任务编写自己的示例。我注意到当列表有重复的值和/或列表的顺序不是升序时，会出现一些奇怪的结果。以下是内置的联合代码：
union([], A, A) :- !.
union([A|C], B, D) :-
memberchk(A, B), !,
union(C, B, D).
union([A|B], C, [A|D]) :-
union(B, C, D).
我相信这里的伪代码是我们希望在结果中找到列表1的所有内容，一旦它被耗尽，我们就比较
浏览 4提问于2013-01-28得票数 0
1回答
我使用Teyjus在Lambda Prolog中进行编程。我有一个简单的列表生成器：
type islist int -> list X -> o.
islist N nil
:- N >= 0.
islist N (H::T)
:- N >= 0,
M is N - 1,
islist M T.
我需要创建一个谓词，返回一个由islist在一定范围内生成的所有列表组成的列表。
我想继续进行失败驱动的循环。目前，我只能打印以下代码生成的列表：
type loop int -> o.
loo
浏览 2提问于2020-11-12得票数 1
回答已采纳
我试图返回另一个列表中某个列表的子集来对它们执行一些操作，查找子集的代码如下所示：
listSubset([] , []).
listSubset([Head|Tail] , [Head|Subset]) :-
listSubset(Tail, Subset).
listSubset([Head|Tail] , Subset) :-
listSubset(Tail, Subset).
但是这段代码只打印屏幕上的子集，每当我尝试使用append来追加另一个列表中的每个子集时，代码就不会像我预期的那样工作。
我尝试使用附加的一种方式：
listSubset([] , [], Al
浏览 3提问于2022-05-18得票数 1
回答已采纳
1回答
因此，我试图通过在split中直接使用排序库谓词来摆脱wrapper子句。split所做的就是从一个列表中生成一个数字列表，如下所示: 1:2,3:2,4:6 - split --> 1,2,3,2,4,6。但是生成的列表包含重复项，我不希望这样，所以我使用包装器组合split和sort，然后生成所需的结果: 1,2,3,4,6。
我真的很想摆脱包装器，只在split中使用sort，但是我一直收到"ERROR: sort/2:参数没有充分实例化“的消息。有什么想法吗？谢谢:)
split([],[]).
split([H1:H2|T],[H1,H2|NT]) :-
spl
浏览 0提问于2012-11-16得票数 1
回答已采纳
4回答
Prolog中的子集
、、、
我正在寻找一个工作方式如下的谓词：
?- subset([1,2,3], X).
X = [] ;
X = [1] ;
X = [2] ;
X = [3] ;
X = [1, 2] ;
X = [1, 2, 3] ;
X = [2, 3] ;
...
我见过一些subset实现，但是当您想要检查一个列表是否是另一个列表的子集时，它们都可以工作，而不是当您想要生成子集时。有什么想法吗？
浏览 0提问于2011-02-06得票数 17
1回答
我用谷歌搜索了一下，但是找不到答案，所以给你：
我在prolog中有这个函数：
ing(Lis) :- findall(I,( recipe2(_,ingredients(I,_)) ),Lis).
这个函数搜索并返回一个列表，如下所示：
L = [['wheat flour', egg, salt], ['wheat flour', cheese, olives, tomato, salt, basil], ['wheat flour', potatoes, salt], [milk, egg, sugar]].
我想将列表统一到一个列表中，这
浏览 0提问于2016-10-28得票数 1
我想解决中的一个问题。我有一个合适的元素(常量)的列表。
suitables(L) :- setof(X, isSuitable(X), L).
上面的每个元素都通过函子得分，我需要所有分数> 10的子集。我知道如何得到分数之和：
scoreSum([], 0).
scoreSum([H,T], Tot) :- getScore(H,F),scoreSum(T, Rest), Tot is F+Rest.
这个条件可以这样表达：
cond(L) :- scoreSum(L, R), R > 10.
如何获得与给定条件匹配的所有子集？我可以根据答案获得子集，但是如何迭代该结果才能得到
浏览 3提问于2014-11-08得票数 2
回答已采纳
2回答
Prolog:列表翻译
、、、
我一直在试图找出另一个列表表示形式对应于什么列表：
[1|[2|[3|[4|[]]]]]等价于列表[1,2,3,4]和[1,2,3,4|[]]等。
但我似乎搞不清这份清单对应于什么：
[[[[[]|1]|2]|3]|4]
如果有人能为我解释这件事，我将非常感激。
浏览 1提问于2014-10-23得票数 1
回答已采纳
你好，我必须用列表来解决一些prolog问题，但是我不知道它们是如何工作的。我必须在列表中的每个偶数元素之后添加"1“，并使两个列表的差异。我知道这似乎很容易，在其他语言(如java或c# )中，我会让它变得非常容易，但是prolog会让我头疼。请帮助我：
浏览 1提问于2013-10-22得票数 2
1回答
例句:给出3项声明：
car(toyota,[sedan,5_seater,head_rest]).
car(nissan,[4_seater,sedan,2_door,head_rest,blue]).
car(peugeot,[head_rest,sedan,5_seater,sun_roof]).
如何编写Prolog谓词items(A, X, Y)，如果A是包含X中所有部件的列表car，但不包含Y中的任何部分，则该谓词为真。
真希望有人能帮我。提前感谢！
浏览 3提问于2013-09-23得票数 1
回答已采纳
2回答
我对Prolog有点陌生。我正在尝试编写一个函数子集( Set，Subset)来确定子集是否是Set (duh)的子集。另外，如果第二个参数没有实例化，它应该输出每个可能的子集。现在，当两个参数都实例化时，它可以工作，但当我试图输出所有子集时，它遇到了成员/2的问题。例如：
?- subset([1,2,3], S).
S = [];
S = [1];
S = [1, 1];
S = [1, 1, 1];
...
下面是我的代码：
% subset/2
% subset(Set, Subset) iff Subset is a subset of Set
subset(_, []).
subs
浏览 0提问于2014-11-23得票数 4
1回答
我一直在尝试编写一个函数，该函数接受两个列表，并从列表2中返回列表中没有出现的项目列表。这是我到目前为止的代码。我遇到的障碍是，我不知道如何在成员()行上测试false。
%remove_them/3
remove_them([H|T],List,[Newhead|NewTail]):-
not(member(H,List)),
Newhead is H,
remove_them(T,List,NewTail).
remove_them([H|T],List,NewList):-
member(H,List),
remove_them(T,List,N
浏览 2提问于2020-12-01得票数 2
回答已采纳
在ic库中，可以创建一个具有如下域的变量：
X #:: [1..10] % Variable X with domain the integers from 1 to 10.
还可以使用相同的域创建两个变量，如下所示：
[X,Y] #:: [1..10]
如何创建两个以整数列表作为域的变量？
更具体地说，如果我有一组整数S，我如何使每个变量都有一个S的子集( P1，P2)来确保P1和P2没有公共元素，以及P1+ P2 = S？
浏览 1提问于2018-05-05得票数 0
回答已采纳
2回答
所以基本上我的任务是用一个包含2个参数的谓词从一个给定的列表中创建一个集合。
第一个是列表，第二个是集合的值。
然而，不知何故，它给了我一个列表，其中包含作为头部的集合和带有变量的尾部：
2 ?- list2set([2,3,4,4] , X).
X = [2, 3, 4|_G2840] .
这就是代码：
list2set( [] , _).
list2set([ListH|ListT] , Set ) :- member(ListH, Set) , list2set(ListT , Set).
这似乎是我犯下的一个非常基本的错误。
浏览 0提问于2016-05-04得票数 3
我需要一个符合目标的对象的有序列表。setof负责排序，但当没有任何对象满足目标时则会失败。我想像findall那样返回一个空列表。
这是可行的，但有没有办法做到这一点而不切呢？我用的是SWI-Prolog。
setof(Object, Goal, List), !; List = [].
浏览 1提问于2013-12-05得票数 2
回答已采纳
我非常怀疑这是不可能的，但我想知道是否有一种方法可以将原子列表转换为事实列表。假设在两个事实之间不会有原子的重复。 更准确地说，假设我有以下事实列表： person(Mike, male, 33).
person(Frank, male, 24).
person(Julie, female, 25). 我想打电话给你 listFacts( [Mike, Frank], L). 它应该会返回， L = [person(Mike, male, 33), person(Frank, male, 24)].
浏览 12提问于2021-04-01得票数 0
回答已采纳
我希望通过在给定列表中选择多个元素(而不是一个)来改进prolog中的select/3。例如，如果我在这个列表中选择X=1和Y=2，那么结果将是3。
到目前为止，我的情况如下：
select_pair(X,Y,[X|Xs],Xs) :- member(Y,Xs).
select_pair(X,Y,[H|T1],[H|T2]) :- select_pair(X,Y,T1,T2).
结果是：
?- select_pair(X,Y,[1,2,3],Zs).
X = 1,
Y = 2,
Zs = [2, 3] ;
X = 1,
Y = 3,
Zs = [2, 3] ;
X = 2,
Y = 3,
Zs
浏览 0提问于2013-04-10得票数 2
回答已采纳
2回答
我想要在Prolog中创建，以找到输入列表中最长的增长子集。例如，输入3,1,2的列表，输出为1,2，
?- subset([3,1,2], X).
X = [1,2]
我有代码，它显示了这个列表的所有子集：
subset([],[]).
subset([_|X],Y):-subset(X,Y).
subset([A|X],[A|Y]):-subset(X,Y).
有人能帮我找到最长的增长子集吗？
浏览 5提问于2013-03-27得票数 1
3回答
在prolog中，我们可以执行以下操作：
myFunction a (a:xs) = ...
也就是说，当myFunction的第一个参数与第二个参数中列表的第一项相同时，此函数的计算结果为...。
我现在的问题是。如何在Haskell中完成类似的事情？我认为Prolog的模式匹配比Haskell的更有表现力，我一直在尝试用Haskell编写模式匹配，但遇到了麻烦--要么我使用了无效的语法，要么上面的技巧根本不起作用。
浏览 1提问于2010-11-04得票数 9
回答已采纳
给定一个车站的一组路线，如下所示：
route(TubeLine, ListOfStations).
route(green, [a,b,c,d,e,f]).
route(blue, [g,b,c,h,i,j]).
...
我被要求找到有一个共同的特定站的线路名称。必须对结果进行排序，并在没有结果的情况下，必须返回空列表。所以，查询
| ?- lines(i, Ls).
应给予：
Ls = [blue,red,silver] ? ;
no
我试着做以下几件事：
lines(X, L) :- setof(L1, findall(W, (route(W, Stations),member(X,
浏览 2提问于2017-01-06得票数 1
回答已采纳
3回答
我在Prolog里做了这个
contains(psu,[fan,cable,transformer]).
contains(screen,[panel,cable,psu]).
contains(fan,[plastic,cable,copper]).
contains(cable,[copper,plastic]).
contains(transformer,[wire,core]).
contains(wire,[copper,plastic]).
contains(panel,[glass,polarizingfilter,liquidcrystals]).
我想问一个问题compon
浏览 8提问于2018-01-03得票数 0
回答已采纳
我有一篇研讨会论文，其中我必须在Prolog中找到一些带有集合的操作，例如，对于子集：
subset([],V).
subset([H|T1],[H|T2]):-subset(T1,T2).
subset([H1|T1],[H2|T2]):- lt(H2,H1),subset([H1|T1],T2).
我很难找到其中的一些，所以如果有人把它们写下来，我会非常感激的：
检查元素是否为set的成员
检查set是否为空，集合中的el数
检查集合中的所有el是否都是数字
检查两组是否相同
浏览 3提问于2011-05-28得票数 1
我希望在Prolog中创建一个谓词，它将检查list A是否是列表B的子列表。此外，我不希望我的程序将空列表视为另一个列表的子集。
例如included_list(1,4,1,2,3,4,5)。是真的。included_list(2,3,1,2,3,4,5)。是真的。included_list(1,6,1,2,3,4,5)。假。included_list([],1,2,3,4,5)。假。等等..。
因此，到目前为止，我已经编写了以下代码：
member(X,[X|Tail]).
member(X,[Head|Tail]):- member(X,Tail).
included_list([X]
浏览 1提问于2015-12-11得票数 4
回答已采纳
我对Prolog完全陌生，并且尝试了一些练习。其中之一是：
编写一个谓词集(InList，OutList)，它以任意列表作为输入，并返回一个列表，其中输入列表的每个元素只出现一次。
这是我的解决方案：
member(X,[X|_]).
member(X,[_|T]) :- member(X,T).
set([],[]).
set([H|T],[H|Out]) :-
not(member(H,T)),
set(T,Out).
set([H|T],Out) :-
member(H,T),
set(T,Out).
我不允许使用任何内置谓词(最好不要使用not
浏览 8提问于2010-02-14得票数 15
回答已采纳
5回答
我得到了两个列表，例如K=[a,b,c,d,e,f,g]和L=[a,b,1,d,e,2,g]。当这两个列表有两个不同的元素，那么他们是友好的。
这就是我尝试过的：
friendly(K,L):-
append(L1,[Z],A1),
append(A1,L2,A2),
append(A2,[Q],A3),
append(A3,L3,K),
append(L1,[Y],B1),
append(B1,L2,B2),
append(B2,[W],B3),
append(B3,L3,L),
Z\=Y,
Q\=W.
非常感谢
浏览 0提问于2014-01-17得票数 1
回答已采纳
2回答
考虑到在Prolog中创建数据库，使用列表显然是无效的。所以我想知道的是，是否有可能通过索引来访问元素，以及从理论上讲，如何创建一个大型数据库。
我感兴趣的另一个主题是如何实现这样一个简单的任务：
假设我们有两个数组
A 1,3,5,2,6,4和B "a"，"b"，"d"，"e"，"c"，"f“
目标是将字母绑定到数字，然后对两个数组进行排序，以获得
A 1,2,3,4,5,6和B "a"，"e"，"b"，"f"，"d"，
浏览 0提问于2012-04-18得票数 1
回答已采纳
我有一张路线清单
path(chicago,milwaukee).
path(milwaukee,detroit).
path(chicago,detroit).
path(detroit, newyork).
path(newyork, boston).
path(atlanta,boston).
我有一个谓词routefrom，它给出了起点和终点之间的所有城市。例如：
?- routefrom(chicago,newyork,X).
X=[chicago,milwaukee,detroit,newyork]
为了得到我所有的路线
allroutes(Start,End,P) :- find
浏览 0提问于2011-07-28得票数 3
回答已采纳
我正试图得到一个列表，列出所有可能的组合词，总共有几个音节。例如：
w(cat, noun, 1).
w(boy, noun, 1).
w(pet, noun, 1).
w(eats, verb, 1).
w(woman, noun, 2).
w(nature, noun, 2).
w(apple, noun, 2).
w(watches, verb, 2).
w(family, noun, 3).
has_5_syllables(L) :-
w(X, _, N0),
w(Y, _, N1),
plus(N0, N1, 5),
append([X], [Y
浏览 1提问于2016-03-19得票数 2
回答已采纳
2回答
任何在Prolog方面有一定经验的程序员都知道对数字使用一元表示法的优点。例如，如果我们将一个数字表示为1的列表("4“是列表"1,1,1,1”等等)，我们可以定义：
unary_succ(X,[1|X]).
以下查询完成了预期的任务：
?- X=[1,1],unary_succ(X,Y).
X = [1, 1],
Y = [1, 1, 1].
?- unary_succ(X,Y),X=[1,1].
X = [1, 1],
Y = [1, 1, 1].
?- unary_succ(X,Y),Y=[1,1].
X = [1],
Y = [1, 1].
这样，语句unary_s
浏览 2提问于2015-05-22得票数 4
回答已采纳
2回答
在课堂上，我们复习了老师给出的subset_of/2谓词，如下所示：
subset_of([],[]).
subset_of([X|Xs],Zs):-subset_of(Xs,Ys),maybe_add(X,Ys,Zs).
maybe_add(_,Ys,Ys).
maybe_add(X,Ys,[X|Ys]).
subsets_of(Xs,Xss):-findall(Ys,subset_of(Xs,Ys),Xss).
然后他要求我们改变它，只给出一些长度为K的子集(而不是使用长度/2，通过直接找到一个递归定义)。我的第一个尝试是将subset_of调用分成一个添加额外元素的调用和一个不添加额
浏览 0提问于2011-04-04得票数 3
回答已采纳
2回答
我精通Java和C#，所以到目前为止，用Prolog编写代码对我来说是一件相当困难的事情，因为它似乎是一种完全不同的思维方式。
我需要解决的问题很简单，我可以在10分钟内用Java解决它。老实说，我只是在这里开始的时候遇到了麻烦。我得到了一个由10个数字组成的列表，这些数字代表了一个选民的“选票”。投票可以是0、-1或1。然后我还会得到一个列表列表，每个列表都是一个候选人的列表。每个候选人的名单都包括一个名字，后跟10个与选民名单中相同的分数。
我的目标是将投票者列表与每个候选人列表进行比较，并基于相同的选票返回最佳匹配列表。
这是我所得到的：
?- best_candidates(
浏览 0提问于2012-11-19得票数 0
我已经有了这个函数，但它并不完全像我想要的那样工作。我的函数如下所示。
isSet(List) :-
\+ (
select(Element, List, Tail),
select(Element, Tail, _)
).
当我执行isSet(1,2,3)时，它给出了我所期望的true。当我做isSet(1,1,2)时，它给出了false，这也是我所期望的，也是正确的。我的问题是，我如何传递已经创建的列表？例如，如果我做X= 1,2,3，然后像isSet(X)一样将它作为参数传递，它应该给我true，但却产生了一个错误。
我能做些什么来解决这个
浏览 6提问于2021-11-29得票数 1
给定一个列表(如[1,2,3,7,2,5,8,9,3,4] )，我将如何提取列表中的序列？
序列被定义为有序列表(通常我会说n元组，但我在prolog中被告知，元组被称为序列)。因此，我们希望在下一个元素比前一个元素更小的点上削减列表。
因此，对于列表[1,2,3,7,2,5,8,9,3,4]，它应该返回：
[ [1,2,3,7], [2,5,8,9], [3,4] ] %ie we have cut the list at position 4 & 8.
对于本练习，您不能使用构造;或->
事先非常感谢！
示例的结果是：
eg1。
?-function([1,2,3,7,2,
浏览 1提问于2015-04-02得票数 2
回答已采纳
我使用的是子项，这是导致内容是不允许在prolog问题。
<subant target="main" genericantfile="build.xml">
<fileset dir = "." />
</subant>
错误：
The following error occurred while executing this line:
pattern.py:1: Content is not allowed in prolog.
请注意，我在这些文件夹中有不同的文件，例如py
浏览 2提问于2013-12-16得票数 1
回答已采纳
5回答
我想写一个Prolog程序来找出两个列表的相等性，其中元素的顺序
这不重要。所以我写了以下内容：
del(_, [], []) .
del(X, [X|T], T).
del(X, [H|T], [H|T1]) :-
X \= H,
del(X, T, T1).
member(X, [X|_]).
member(X, [_|T]) :-
member(X, T).
equal([], []).
equal([X], [X]).
equal([H1|T], L2) :-
member(H1, L2),
del(H1, L2, L3),
e
浏览 0提问于2010-04-26得票数 8
回答已采纳
4回答
我知道一些Prolog，刚刚开始在Haskell自学。我一直在通过工作，一路学到了很多东西，真的很享受Haskell。有时，我试图通过在Prolog中编写一些代码来澄清我对问题空间的理解，然后考虑该解决方案如何与Haskell中的功能方法相关联。今晚，在研究关于逻辑的问题(问题47和48)时，我心烦意乱地试图完成一项简单的任务，即建立一个包含n值的所有真值组合的列表。我想要一个函数tValues :: Int -> [[Bool]]。这个问题可以在Prolog中以非常简单和声明的方式解决，例如：
combinations_of_n_truth_values(N, AllValues) :
浏览 2提问于2014-05-07得票数 7
回答已采纳
我正在从C++ dll调用SWI Prolog引擎，我希望能够访问所有断言/动态谓词(类似于清单通常所做的事情)。
在GNU Prolog中，我会用一个变量调用dynamic/1谓词，Prolog会将它与所有动态谓词指示器统一起来。在下一步中，我将使用变量调用这些谓词，并获得一个完整的列表。
不幸的是，我不能在SWI Prolog中做到这一点(错误:参数没有充分实例化)。还有别的办法吗？
浏览 0提问于2012-02-03得票数 2
回答已采纳
我需要使用我编写的delete1谓词将一个元素添加到列表中：
delete1(H,[H|T],T).
delete1(H,[D|X],[D|Y]):-delete1(H,X,Y).
我该怎么做呢？嗯，我知道如何删除元素，但不知道如何在其中添加元素。我需要显示所有可能的列表，这些列表将是将56添加到x，y，z，一个列表的结果。你有什么想法吗？
浏览 4提问于2020-05-31得票数 0
1回答
我收到了这个任务，我需要一些帮助。
在Prolog中构建一个程序
检查列表是否为空
检查列表是否为空
检查列表是否只有一个元素
检查一个列表是否有两个或更多个元素
从列表中获取第一个元素
从列表中获取第二个元素
获得一个没有第一个元素的列表(尾)
将元素添加到列表的首
浏览 0提问于2015-09-17得票数 0
我想用prolog写“检查一个列表是否有相同的元素”，例如lista，a，a，a是真的。利斯塔，c，a，a是假的。我怎样才能做到呢？
浏览 5提问于2014-02-19得票数 1
回答已采纳
3回答
考虑以下程序，一个使用差异列表，另一个使用不同列表：
reverse1(List1,R) :- rev1(List1, R-[]).
rev1([], A-A).
rev1([H|T], C-A) :-rev1(T, C - [H|A]).
reverse2(List1,R) :- rev2(List1, R, []).
rev2([], A, A).
rev2([H|T], C, A) :- rev2(T, C, [H|A]).
既然两者都做同样的事情，那么使用差异列表有什么好处呢？
浏览 6提问于2014-01-18得票数 7
回答已采纳
2回答
我有下面的子列表算法的实现。问题:给定两个列表，确定其中一个是否是另一个列表的子列表。我真的需要在Prolog中使用另一个独特的解决方案。
解决方案一：
sublist([H1|T1], L, [H2|T2]):-
H1 = H2,
sublist(T1, L, T2).
sublist([], _, _)
sublist([H1|T1],L,[H2|T2]):-
sublist(L,L,T2).
解决方案二：
sublist([H|T], [H|L]):- check(T,L),
sublist(S, [H|T]):- sublist(S,T).
check([H|T], [H|
浏览 4提问于2011-11-25得票数 3
回答已采纳
1回答
我想要做一个谓词，返回一个数字除数器的列表。例: 72 = 2*2*2*3*3。
prdel(A,[],_):-
A is 1.
prdel(P,[D|L],D):-
0 is mod(P,D),
P1 is P/D,
prdel(P1,L,D).
prdel(P,L,D):-
D1 is D+1,
prdel(P,L,D1).
这可以工作，并返回正确的列表。问题在于，如果我按空格，它不会停止，而是一次又一次地返回相同的列表(对不起，当您使用相同的谓词得到不同的答案时，我不知道英语中的那个词)。我希望它在第一次之后停止。
浏览 0提问于2014-11-20得票数 2
回答已采纳
4回答
我试图用Prolog编写一个程序，它将包含三个列表(所有这些列表都是相同的长度)并返回一个列表列表。
我要返回的列表列表是一个三重列表，其中包含正在传递的三个列表中的元素。三元组的第一个元素来自传入的第一个列表，第二个元素来自第二个列表，第三个元素来自传入的第三个列表。
我想要发生的是函数返回的三元组列表，以返回从传入的三个列表中可以生成的每一个可能的组合。
到目前为止，我有一些代码，这些代码接受三个列表的前几个元素，并将它们分成三个，然后从所有列表中提取第二个元素，然后再从它们中提取一个三元组，以此类推。它在下面。
listCombos( [], [], [], []).
lis
浏览 0提问于2018-10-14得票数 1
1回答
将列表作为输入(以下面提到的格式)，我需要得到一个简单的列表列表，如果给定的输入列表是空的，那么谓词应该返回一个空列表，
给定输入
[[[a,b],[c]],[[d,e]],[[g,h],[j,k]],[[h,k,l,l]]]
我需要得到输出
[[a,b],[c],[d,e],[g,h],[j,k],[h,k,l,l]]
我很难执行递归，
我试过的代码如下，
function([],X):-append([],X,X).
function([Head|Tail],X):-
first(Tail,A),
append(Head,A,
浏览 2提问于2014-10-23得票数 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
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
