如何在prolog中检查列表中的可重复变量
在Prolog中，可以使用内置的var/1和nonvar/1谓词来检查列表中的可重复变量。
首先，我们需要定义一个谓词来检查列表中是否存在可重复变量。以下是一个示例的Prolog代码：
% 检查列表中是否存在可重复变量
has_duplicate_variable(List) :-
select(X, List, Rest), % 从列表中选择一个元素X，并将剩余的元素存储在Rest中
( var(X) % 如果X是一个变量
-> (member(X, Rest) % 如果X在剩余的元素中出现
-> true % 则存在可重复变量
; has_duplicate_variable(Rest)) % 否则递归检查剩余的元素
; has_duplicate_variable(Rest)). % 如果X不是变量，则递归检查剩余的元素
% 示例查询
?- has_duplicate_variable([a, b, X, c, Y, Z, d, X]).在上述代码中，has_duplicate_variable/1谓词接受一个列表作为参数，并使用select/3谓词从列表中选择一个元素X，并将剩余的元素存储在Rest中。然后，它检查X是否是一个变量，如果是，则使用member/2谓词检查X是否在剩余的元素中出现。如果是，则存在可重复变量；否则，递归调用has_duplicate_variable/1谓词来检查剩余的元素。如果X不是一个变量，则直接递归调用has_duplicate_variable/1谓词来检查剩余的元素。
对于上述示例查询，它将返回true，表示列表中存在可重复变量。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云官方网站：https://cloud.tencent.com/
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
- 云原生应用引擎（TKE）：https://cloud.tencent.com/product/tke
- 云存储（COS）：https://cloud.tencent.com/product/cos
- 人工智能（AI）：https://cloud.tencent.com/product/ai
- 物联网（IoT）：https://cloud.tencent.com/product/iot
- 移动开发（移动推送、移动分析、移动测试等）：https://cloud.tencent.com/product/mobile
- 区块链（BCS）：https://cloud.tencent.com/product/bcs
- 元宇宙（Metaverse）：https://cloud.tencent.com/product/metaverse
请注意，以上链接仅供参考，具体产品选择应根据实际需求进行评估和决策。
相关·内容
2回答
如何在swi prolog中重复该列表？
{例如:当Y是由X的每个元素组成的列表重复N次时(例如，repeat(a，b，a，b,3)为真)，则将(X，Y，N)重复为真。}
浏览 0提问于2018-12-04得票数 0
1回答
我浏览过关于如何声明列表的各种答案，但是我一直收到错误消息。我正在阅读一本书中的列表部分，但是仍然没有关于如何正确地声明它们的例子。我正在为我的班级做一个项目。我有一个随机的问题集，但当用户回答一个，那么这个问题就不能重复(问题是随机的)。
我已经完成了这个部分，但是我想创建一个列表，以便当一个问题被问到时，我想将这个问题号添加到我的列表中。我尝试过各种各样的方法，但我还是做不到！
test(N):- list(P), member(N, P).
list = [].
start :-
write('Answer the questions correctly'),
浏览 0提问于2018-11-27得票数 1
回答已采纳
1回答
我有一个项目列表，它在一个方法中。我使用另一种方法来调用列表，但我不想在该方法中输入列表。我该如何解决这个问题呢？
foo([a,b,c,d,e]).
hi:- read(X),member(X,[a,b,c,d,e]).
?- hi.
|: a.
true.
我想使用foo(X)更改go(X)中的列表，但它不起作用。我知道foo(X)返回a，b，c，d，e。
foo([a,b,c,d,e]).
hi:- read(X),member(X,foo(X)).
K
浏览 0提问于2017-11-12得票数 0
这是一个重复值的情况，我还没有找到解决方案。
假设我们有以下列表：
List = [
(A, B),
(A, C),
(B, A),
(B, C),
(C, A),
(C, B)
].
重复的元素是在其包中具有完全相同的值的元素-顺序无关紧要。
因此，在删除重复项后，列表将如下所示：
List = [
(A, B),
(A, C),
(B, C),
].
我该怎么做呢？
浏览 0提问于2013-03-17得票数 2
回答已采纳
我在prolog中有一个列表，其中包含几个项目。我需要‘规范化’这个列表的内容，并将结果写入一个新的列表。但我在做这件事上仍然有问题。下面的代码显示了我是如何做到这一点的：
normalizeLists(SourceList, DestList) :-
% get all the member of the source list, one by one
member(Item, SourceList),
% normalize the item
normalizeItem(Item, NormItem),
% add the normalize Item to the De
浏览 5提问于2012-12-15得票数 0
回答已采纳
1回答
我收到了这个任务，我需要一些帮助。
在Prolog中构建一个程序
检查列表是否为空
检查列表是否为空
检查列表是否只有一个元素
检查一个列表是否有两个或更多个元素
从列表中获取第一个元素
从列表中获取第二个元素
获得一个没有第一个元素的列表(尾)
将元素添加到列表的首
浏览 0提问于2015-09-17得票数 0
1回答
我需要从键盘输入(列表)中获得一个没有重复但不使用XSB prolog中的内置集(或任何其他内置函数)的列表。
我如何编写自己的函数集？
输入和输出应该如下所示：
|?-list([a,b,c,d,a,b,c,d,e,f],L).
L=[a,b,c,d,e,f];
提前谢谢。
浏览 3提问于2013-11-26得票数 0
回答已采纳
我想在prolog中创建一个规则，检查列表中是否有重复的数字。
例如：
对于[1,2,3,4]，它将返回true。
对于[1,2,3,3]，它将返回false，因为3是重复的
我想出了这条规则，但行不通
Different([]).
Different([H|T]):-
Member(H,T),
Different(T).
有什么想法吗？
浏览 6提问于2013-11-21得票数 6
2回答
我正在尝试使谓词对于列表X和Y，如果X和Y是相同的列表，则rmlast为真，除了Y有多一个元素的事实。所以是1或3,2。
rmlast([], [_]). :- true.
rmlast([X|xtail], [Y|ytail]) :- rmlast(xtail,ytail), X is Y.
但是，对于除基本情况之外的任何情况，这都会产生错误的结果。
浏览 0提问于2009-12-04得票数 2
回答已采纳
3回答
如何在prolog中创建全局变量
、、、、
我创建了一个列表，如下所示：
tab([(top,left),(top,middle),(top,right),(center,left),(center,middle),
(center,right),(bottom,left),(bottom,middle),(bottom,right)]).
我希望创建一个全局变量AllPosition，它是一个选项卡。因此，我做了以下工作：
tab(AllPos).
是这样的吗？
然后我必须遵循以下问题:我有一个函数，它接收tab中的一个对。我想要移除的。所以我这样做了：
place(Line, Column, Tab) :-
AllPos
浏览 5提问于2012-05-18得票数 5
我有如下清单：
[a,b,b,e,e,f,f,g]
第一个和最后一个条目是单个的，而所有其他条目都是重复的。如何删除这些额外的条目。我不应该扰乱秩序。
我试了一下，但它得到了一个空列表：
removeDups([], []).
removeDups([H1,H2|T], Newlist) :-
(H1 == H2 -> removeDups([H2|T],Newlist)
; removeDups(T,Newlist)).
?- removeDups([a,b,b,c,c,d,d,e],L).
L = [].
编辑:我已经检查过许多关于堆栈溢出的类似问题。但在我的列
浏览 15提问于2016-07-01得票数 2
回答已采纳
所以我在我的prolog程序中有一个数据库，关于有名字的餐馆，有名字的餐馆，有工作的人，还有它提供的饭菜：
restaurant(hardees,[abo_abdo,abo_ahmad,tahseen],[grilled_chicken,jambo_beef,grilled_cheese_sandwich,roast_beef]).
restaurant(subway,[eftikar,tahseen,samer],[potato_salad,chicken_rice,jambo_beef,srevice_dish]).
restaurant(mcDonalds,[amer,zaher,m
浏览 4提问于2017-05-11得票数 1
回答已采纳
5回答
在Prolog中，有没有办法确定列表中元素的类型？我知道在Prolog中变量不是显式类型的，但是我需要检查一个元素是一个数字，一个特定的字符，等等，这是如何实现的？
浏览 0提问于2010-10-05得票数 11
回答已采纳
2回答
我们有一个列表列表--认为一个示例?- solve([[40,A,B],[30,B],[60,A,B,C]]),label([A,B,C]).将成功地替换B=30、A=10和C=20。这个示例的约束是A+B=40、A+B+C=60，通常每个变量都在0到100之间。每个列表必须以常量开头，并且至少包含一个变量。
:- use_module(library(clpfd)).
sum([],0). % if the list is empty.
sum([X|XS],Z) :-
sum(XS,Z1),
X in 0..100,
浏览 2提问于2015-08-27得票数 2
回答已采纳
1回答
我正在尝试编写一个谓词，它删除列表中所有唯一的元素(并返回重复的元素)，如下所示：
?- delete_unique([a, b, a, a], L).
L = [a, a, a]
虽然我的代码不能工作。
delete_unique([],[]).
delete_unique([H|T],[H|Solution]):-
member(H,Solution),!,
delete_unique(T,Solution).
delete_unique([H|T],[H|Solution]):-
member(H,T),
delete_unique(T,Solution).
de
浏览 0提问于2017-09-17得票数 1
2回答
我正在尝试从prolog中的列表中删除重复条目。所以一个列表a，b，a，c，b，a会返回a，b，c，我不能使用任何内置函数。我在这里搜索，找到了这个代码。
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).
但这将获取我的列表并返回c，b，a，而不是a，b，c
我删除了一些代码，这些代码接受一个元素和一个列表，并返回一个列表，其
浏览 1提问于2013-11-28得票数 5
回答已采纳
2回答
我是Prolog的新手，正在寻找一些帮助。我试图做的基本上是得到一个列表L，该列表由在给定列表L中至少重复两次的元素组成。
示例L'=1,2,1,3,4,3,2 => L=1,2,3。
到目前为止，我能够计算出每个连续变量的出现次数。
% pack(L1,L2) :- the list L2 is obtained from the list L1 by packing
% repeated occurrences of elements into separate sublists.
% (list,list) (+,?)
pack([],[]).
pack([X
浏览 0提问于2011-11-22得票数 0
2回答
为了更好地理解prolog、列表和递归，我正在努力完成分配给自己的各种简单任务。其中包括从列表中删除重复条目。
我定义了一个规则：
is_on(Item, [Ah|At]) :- Ah = Item; is_on(Item, At).
这将检查“Item”是否在列表X上。所以我想我可以扩展它来定义一个filter_double谓词：
filter_doubles([Ah|At], Result) :-
(not(is_on(Ah, At)) ->
Result = [Ah|Result]
;
filter_doubles(At, Resul
浏览 0提问于2011-03-07得票数 2
回答已采纳
2回答
我需要在列表中找到第一个重复的值。
prep(3,[1,3,5,3,5]).应为true。
prep(5,[1,3,5,3,5]).应为false。
我想检查与当前值和以前的列表成员是否相等，直到我发现一个重复的成员，如果它找到一个，它将测试与X的相等，但我不知道如何在Prolog中做到这一点！
感谢大家的帮助！谢谢
浏览 3提问于2012-04-22得票数 5
1回答
我是Prolog的新手。从字面上说这周。我希望编写一个递归Prolog谓词，它接受两个数字X，Y作为输入。它应该输出一个列表，显示小于或等于X的所有可以被Y整除的数字。
在过去的几天里，我一直在调查这件事，而且非常困惑。首先，我尝试将Y划分为1，在屏幕上显示它，然后重复这个过程。有谁能给我一些关于这个工作的建议吗。一旦我得到了它，我就会试图确保它们小于或等于X。
到目前为止，我有以下内容，这可能是完全错误的。任何帮助都是非常感谢的。如果格式化效果不好，请表示歉意。
divide(X, Y) :-
S is 1,
Z is Y / S,
S is S + 1,
w
浏览 10提问于2022-06-04得票数 1
回答已采纳
我被告知要做的是“旅行一份由结构所代表的工人名单”，“工人(姓名，时间)”
我想用这张表格还些东西：
couple(Worker1,Worker2,TI)
我觉得我没有在prolog上看到过这样的例子，或者我遗漏了一些东西。比如，我知道返回列表，但不知道结构列表，这就是我必须要做的。
这在prolog中有可能吗？我能不能举个例子，因为我还不太明白？
总结:我想遍历一个所谓的结构列表，并返回一个包含在所述结构列表中的元素对的结构。我省略了我必须做什么来选择哪一对现在集中在这个具体的问题，但我也可以张贴，如果需要的话。
提前谢谢。
浏览 0提问于2016-05-14得票数 0
回答已采纳
基本上，在我的知识库中有一系列关于PopStars及其最成功年份的事实(见下文)。
popStar('Jackson',1987,1991).
popStar('Jackson',1992,1996).
popStar('Michaels',1996,2000).
popStar('Newcastle',2000,2007).
popStar('Bowie',2008,2010).
我需要创建一个谓词，如果识别到popStar的名称，那么这个谓词的单个参数是真的，如果使用变量，它将产生回溯，没有任何重复。最初，我从
浏览 0提问于2016-03-08得票数 1
回答已采纳
我正在为考试而锻炼，我很难理解Prolog是如何工作的。有人能给我解释一下这个练习背后的过程吗？
问题是:编写一个Prolog程序，从列表中删除所有重复的内容，并返回无重复的列表。例如，给定列表L1 = a，b，a，c，a，a，b，没有重复的列表是L2 = c，a，b。注意，L2中元素的顺序并不重要。可以使用内置谓词成员(X，L)检查X是否是L中的成员。
解决办法是：
rmdup( [], [] ).
rmdup( [H|T], R ):- member( H, T ), !, rmdup(T,R).
rmdup( [H|T], [H|Rest] ):- rmdup( T, Rest ).
非
浏览 1提问于2022-02-13得票数 0
3回答
假设我有5个不能在列表中重复的元素:元素是：
team(portugal).
team(england).
team(usa).
team(france).
team(spain).
我有一个名单:法国队，西班牙队，葡萄牙队，_队(英格兰队)，如你所见，美国队缺阵了。我该怎么加呢？我有以下谓词：
put(TEAM,one,[TEAM,_,_,_,_]). %etc, for other positions
我试着：
complete(List,CompleteList):-
team(X),member(team(X)),List),put(team(X),_,List).
浏览 4提问于2014-05-17得票数 0
回答已采纳
4回答
我想要做一个简单的程序，重复扩展一个列表的另一个列表，但给出一个结果的每一步。
我有这样的东西，它只运行一次：
repeat(S, R, X) :- append(S,R,X).
:- repeat([y], [x], X).
X = [y,x].
然后我尝试了这个，它永远运行：
repeat(S, R, X) :- append(S,R,X), repeat(S,R,X).
怎样才能使这个程序输出类似于：
:- repeat([y], [x], X).
X = [y,x];
X = [y,x,x];
X = [y,x,x,x];
x = [y,x,x,x,x];
....
我想我需要一些基
浏览 5提问于2013-12-06得票数 0
回答已采纳
3回答
我想知道是否有一种方法可以在prolog中“简化”列表声明。而不是1,2,3。我希望myList = 1,2,3。这样我就可以尝试使用成员(如myList (X，myList) )，而不是不得不一遍又一遍地重复我需要的每个地方的实际列表。这个是可能的吗？事实上，我在google上还没有找到任何东西，这告诉我很可能不是，但你永远不会知道。谢谢。
浏览 0提问于2013-10-10得票数 1
2回答
我想在Prolog中使用DCG解析一个逻辑表达式。
逻辑术语表示为列表，例如['x','&&','y']表示为x ∧ y，结果应该是解析树and(X,Y) ( X和Y是未分配的Prolog变量)。
我实现了它，一切都如愿以偿，但我有一个问题：
我不知道如何解析变量'x'和'y'，以获得真实的Prolog变量X和Y，以便稍后分配真值。
我尝试了以下规则变体：
v(X) --> [X].：
当然，这不起作用，它只返回and('x','y')。
但是，我能否统一地
浏览 4提问于2014-11-18得票数 6
回答已采纳
2回答
我必须在列表中找到给定元素的所有索引，并将其作为列表返回。举个例子：
?- indexList(a,[a,b,c,a,b],Rs).
Rs = [0,3]
我的想法是：
positions( E, L, P ) :- positions( E, L, 0, Rs ).
positions( E, [], _, [] ).
positions( E, [E|Xs], P, [P|PT] ) :- P1 is P + 1, positions( E, Xs, P1, PT ).
positions( E, [X|Xs], P, PT ) :- P1 is P+1, positions( E, X
浏览 0提问于2012-07-10得票数 2
回答已采纳
2回答
我有一组事实集/2，其中第一个变量是集合的标识符，第二个变量是与标识符关联的值。
例如：
set(a,2).
set(a,c).
set(a,1).
set(a,a).
set(a,3).
set(a,b).
我需要构造一个谓词排序/2(使用重复运算符)，它将输出特定集的值，并按其字典顺序排列。例如
?- ordering(a,Output).
会导致
[1,2,3,a,b,c].
到目前为止，我所做的是这样的代码：
ordering(Input,Output):-
findall(X,set(Input,X),List),
repeat,
doSort(Lis
浏览 1提问于2017-11-06得票数 0
回答已采纳
我的困惑主要在于理解单例变量。
我想在Prolog中实现谓词noDupl/2。此谓词可用于标识列表中仅出现一次的数字，即不重复的数字。noDupl的第一个参数是要分析的列表。第二个参数是不重复的数字列表，如下所述。例如，对于list [2, 0, 3, 2, 1]，将计算结果[0, 3, 1] (因为2是重复的)。在我的实现中，我使用了预定义的成员谓词，并使用了一个名为helper的辅助谓词。
我会用伪码来解释我的逻辑，这样你就可以帮我找出我哪里出错了。
首先，如果第一个元素不是列表其余部分的成员，那么将第一个元素添加到新的结果列表中(作为它的头)。
如果第一个元素是T的成员，那么调用
浏览 0提问于2019-03-07得票数 5
我试图在prolog中创建一个名为isDuped( Y )的谓词，只有当Y是一个偶数长度的列表，并且列表中的每个元素在一行中出现两次(即[1,1,2,2,3,3,4,4])时，它才会成功。我目前拥有的是：
isDuped( Y ) :-
Y == [].
isDuped( Y ) :-
[ A, B | C ] = Y,
A == B,
isDuped( C ).
然而，我的教授的一个单元测试应该返回true，但我已经写好了，它返回false。isDuped([1,_])应该返回true，但我不知道需要更改什么。任何帮助都将不胜感激。
浏览 6提问于2018-11-24得票数 1
这是一个获得列表排列的谓词。有人能给我解释一下如何追踪这个谓词吗？我在用SWI。
perm([H|T],L) :- perm(T,P) , insert(H,P,L).
perm([],[]).
insert(X,L,[X|L]).
insert(X,[H|T],[H|T1]) :- insert(X,T,T1).
浏览 0提问于2014-03-28得票数 1
回答已采纳
1回答
我的问题是如何在元素(第一次出现)之前删除列表的第一个元素。列表可以有重复的元素。
例如。
?- L = [a, b, c, a, c, d], remove_elements(c, L, Result).
Result = [c, a, c, d].
到目前为止，我得到的是：
remove_elements(Element, [], []).
remove_elements(Element, [Element|Tail], [Tail]).
remove_elements(Element, [Head|Tail], [Tail]) :-
Head \== Element,
r
浏览 1提问于2015-05-09得票数 1
可能重复：
用户查看项的列表视图，然后移动到显示一个项的详细信息的活动，然后按回击并返回到列表活动，但我希望列表反映其先前的滚动位置。
是将滚动位置存储为onPause中的活动中的成员变量，还是有更好的方法？
浏览 0提问于2011-02-21得票数 13
回答已采纳
2回答
有没有办法在prolog中定义常量？
我想写这样的东西
list1 :- [1, 2, 3].
list2 :- [4, 5, 6].
predicate(L) :- append(list1, list2, L).
我现在使用的变通方法是
list1([1, 2, 3]).
list2([4, 5, 6]).
predicate(L) :-
list1(L1),
list2(L2),
append(L1, L2, L).
但是每次我需要访问常量时，绑定一个像这样的“无用”变量就有点笨拙了。
我想另一个(甚至更丑陋的)变通方法是在构建链中包含cpp。
(在我的实际应
浏览 2提问于2010-06-28得票数 14
回答已采纳
下面是我的问题，我收到了各种列表，其中包含下划线变量(例如：_、_、A、_、_或_、A、B、_、_ _)，我需要搜索这些列表中重要的值(在本例中是A或A和B)。
这是可能的还是我试图用错误的方法解决这个问题。
寻找更好的背景：我试图在Prolog中制作一个集群类型的程序，你有你的线索，然后你从其他玩家那里得到线索并试图找到凶手，但是我想要每个嫌疑人的名单(比如这个名字，年龄，武器，个人物品)，所以每次你得到像武器一样的线索时，我都会收到像_，_，刀，__这样的列表。
如果有人能帮忙我会很感激的
诚挚的问候
浏览 1提问于2013-05-17得票数 1
回答已采纳
通过定义一个函子来检查谓词函子(术语，F，A)是否成功
我试过的代码是
喜欢(玛丽，披萨)
这是正确的吗？
浏览 3提问于2022-10-07得票数 1
回答已采纳
我在Prolog中遇到了这个问题。问题是，我想要计算列表中出现的重复元素的数量，并且我还想在另一个列表中为每个重复元素的出现填充1，如果没有重复，则填充0，例如
我有一个这样的列表: 420,325,420,582,135,430,582，结果应该是1，0，1，0，0，1。
我试过一些代码片段，它让我抓狂。
我试过的最后一段代码是：
count_duplicates([],[]).
count_duplicates([Head|Tail],[1|LS]):-
member(Head,Tail),
count_duplicates([Tail|Head],LS).
count_
浏览 0提问于2012-12-29得票数 0
回答已采纳
我需要创建一个函数，该函数将获取一个列表或元组，并将其重新构造为一个集合。因为集合中没有重复的元素，所以我需要写下所有被删除元素的数量。这是我的代码 def find_type(arg):
if isinstance(arg, list):
arg = set(arg)
return arg
elif isinstance(arg, tuple):
a = list(arg)
return set(a)
print(find_type((1, 2, 2, 3))) 并回答 {1, 2, 3} 这个函数是有效的
浏览 20提问于2020-10-27得票数 0
回答已采纳
5回答
我是prolog编程的新手，在一篇教程中被告知要定义一个结构列表(在脚本中)，这样我就可以将其作为数据库进行查询。但是，我发现不可能在脚本中将此列表定义为变量。当我定义一个列表时，比如
X=[a,b,c].
我刚收到一条错误消息
No permission to modify static_procedure `(=)/2'
prolog不支持定义这样的变量吗？我在linux下使用SWI-Prolog。
浏览 2提问于2012-04-10得票数 10
回答已采纳
我正在尝试创建一个名为supressEcho(A, B)的规则，A是带有重复项的列表，B是没有重复项的列表。使用排序可以删除重复项，但它也会按字母顺序对它们进行排序。到目前为止，Ι有哪些功能：
supressEchos([],[]) :-!.
supressEchos(A,B) :- supressHelp(A, [], B).
supressHelp([], A, A) :- !.
supressHelp([A | Tail],List, B) :-
member(A,List),
supressHelp(Tail, List, B),!.
supre
浏览 2提问于2018-03-25得票数 0
3回答
我正在尝试在prolog中从一个列表中减去另一个列表。在我的程序中，输入列表中有空格(例如，1,2，_,4)
我得到了以下输出：
?- subtract([1,2,3,4],[3,4,_],L).
L = [2].
当我希望我的输出是
L = [1,2].
所以我的问题是，如何防止空格与其他元素统一？已经被困在这个问题上一段时间了。
浏览 3提问于2012-02-28得票数 1
我为这个琐碎的问题道歉，但我找不到解决办法。我需要创建以下列表：
for i in x:
if(f(i) < g(i)):
my_list.append(f(i)*g(i))
但是，我不知道如何在不重复计算f()和g()函数的情况下对列表进行理解。我想避免它，因为它们在计算上是昂贵的。所以我不想要这样的东西
[f(i)*g(i) for i in x if f(i) < g(i)]
因为f(i)和g(i)在每次迭代中计算两次。我想知道是否有一种方法可以将数字f(i)和g(i)“存储”到某个地方，并在列表理解中回忆它们。
浏览 5提问于2016-10-31得票数 1
回答已采纳
我非常怀疑这是不可能的，但我想知道是否有一种方法可以将原子列表转换为事实列表。假设在两个事实之间不会有原子的重复。 更准确地说，假设我有以下事实列表： 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完全陌生，并且尝试了一些练习。其中之一是：
编写一个谓词集(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
回答已采纳
1回答
我在prolog中有一系列包含匿名变量_的事实。
fact(a, _).
fact(b, _).
fact(c, _).
我有一些规则来接受这些事实的列表：
f([H | T]) :- H == fact(a, _),
% stuff %
.
然而，这是不起作用的。规则不会超过第一个子句H == fact(a, _)。我做错了什么？是否存在用于相等的不同运算符？
浏览 0提问于2012-10-11得票数 1
回答已采纳
2回答
我添加了一个自定义单选按钮到我的每一个平面表项目。因此，在每个项目行的左边有一个单选按钮，我希望能够根据行项在单选按钮的选定值之间切换。因此，我可以选择第一行项并选择/切换到或选择第二项，该项被打开，第一行项被切换掉。
我有点困惑如何用当前的对象来设置这个逻辑。我的当前对象有一个id和isSelected bool。bool将指示该行是否为isSelected (即是否选中)。
到目前为止，我的情况如下：
这是我的组件，它呈现平面列表fooItems。fooItems本身就是构成列表的各个元素。
export class FooItemsComponent extends Component
浏览 0提问于2019-11-08得票数 0
回答已采纳
我觉得这件事很不简单，但我想我明白其中的要点，请确认我是否错了。
append([],L,L).
append([H|T],L2,[H|L3]) :- append(T,L2,L3).
下面是关于规则和跟踪的查询。
?- append([a,b,c],[1,2,3],X)
append([a, b, c], [1, 2, 3], _G518)
append([b, c], [1, 2, 3], _G587)
append([c], [1, 2, 3], _G590)
append([], [1, 2, 3], _G593
浏览 1提问于2013-09-28得票数 1
回答已采纳
1回答
我在递归搜索列表和根据结果创建列表时遇到了困难。
知识库包含团队名称、获胜数和他们所在的区域，所有这些都与他们的团队编号相关联。我正在Teams中传递团队编号列表，并且正在寻找与findMinMax/3匹配的一对。我需要的结果是..。
成对团队的列表(例如。( X = [[gonzaga, washington], [iowa, oklahoma], …])和1组不匹配(由奇数个队组成)或0(偶数)
我想出了其他的一切，并且可以达到[gonzaga, washington]部分，但是递归部分失败了.
findPair(Teams,[HL|TL],Rest) :-
findMinMax(
浏览 3提问于2012-08-19得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
