获取Prolog中的解决方案列表
Prolog是一种逻辑编程语言，用于解决基于逻辑的问题。在Prolog中，可以使用谓词逻辑来描述问题和规则，并通过查询来获取解决方案列表。
在Prolog中，解决方案列表是通过查询一个目标谓词来获得的。查询可以是一个简单的事实或一个复杂的规则。当Prolog系统执行查询时，它会尝试匹配已知的事实和规则，以找到满足查询的解决方案。
以下是一个示例查询和解决方案列表的过程：
查询：father(X, Y)。
解决方案列表：X是Y的父亲。
在这个例子中，查询是一个谓词father(X, Y)，它表示找到X是Y的父亲。Prolog系统将尝试匹配已知的事实和规则，以找到满足查询的解决方案。
对于这个查询，可能存在多个解决方案，每个解决方案都是一个变量的具体取值。例如，如果已知的事实和规则包括以下内容：
father(john, jim).
father(john, ann).
father(bob, jim).
那么，Prolog系统将返回以下解决方案列表：
解决方案1：X=john, Y=jim。
解决方案2：X=john, Y=ann。
解决方案3：X=bob, Y=jim。
通过查询和解决方案列表，可以获得Prolog中的解决方案。在实际应用中，Prolog可以用于解决各种问题，包括人工智能、专家系统、自然语言处理等领域。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 腾讯云数据库（TencentDB）：https://cloud.tencent.com/product/tencentdb
- 腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云存储（COS）：https://cloud.tencent.com/product/cos
- 腾讯云区块链（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云元宇宙（Metaverse）：https://cloud.tencent.com/product/metaverse
请注意，以上链接仅供参考，具体产品选择应根据实际需求和情况进行评估。
相关·内容
1回答
我有一个包含8个元素的列表：
[[a], [a], [a, b], [b, c], [c, d, e], [d, f], [f], [f]]
我们的目标是拥有一个包含相邻元素交集的列表：
[[a], [a], [b], [c], [d], [f], [f]]
在Prolog中做这件事的最好方法是什么？
浏览 19提问于2019-11-21得票数 0
回答已采纳
我正在尝试编写一个函数，该函数接受两个列表，如果第一个列表中的每个元素在第二个列表中至少出现一次，则返回true。示例：
allMember(X, [a,b]).
X = [] ;
X = [a] ;
X = [b] ;
X = [a a] ;
X = [a b] ;
X = [b a] ;
X = [b b] ;
false.
问题是，在期末考试之后，程序会无限地循环检查每一个可能的列表。我该如何解决这个问题呢？
allmember([], _).
allmember([F|R], L2) :- length([F|R], Len1),
浏览 0提问于2014-10-06得票数 0
1回答
我收到了这个任务，我需要一些帮助。
在Prolog中构建一个程序
检查列表是否为空
检查列表是否为空
检查列表是否只有一个元素
检查一个列表是否有两个或更多个元素
从列表中获取第一个元素
从列表中获取第二个元素
获得一个没有第一个元素的列表(尾)
将元素添加到列表的首
浏览 0提问于2015-09-17得票数 0
我是Prolog的新手，我不知道如何得到结果。
我想计算列表中可能的配对组合。
例如:输入是一个列表a，b，c，我想得到对(a，b)，(a，c)，(b，c)。我希望每一对都保存为列表。
任何帮助都是非常感谢的。
浏览 0提问于2013-03-14得票数 0
回答已采纳
2回答
我正在尝试执行这个Prolog规则，您可以输入一个电影列表，它返回一个与该特定电影相关的明星列表。
谓词：
starsin(captain_america,chris_evan).
starsin(avengers,chris_evan).
starsin(ant_man,chris_evan).
starsin(captain_marvel,chris_evan).
starsin(iron_man,chris_evan).
starsin(avengers,tom_holland).
starsin(captain_marvel,tom_holland).
starsin(captain_
浏览 3提问于2020-03-11得票数 0
回答已采纳
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回答
我试图拥抱一些基本的prolog，但在这个过程中有点挣扎。具体地说，我正在尝试通过一个项目列表，并将其逐项复制到一个新的列表中。我可以让它反转，但我发现不反转的情况下做这件事更难。
我一直在尝试以下几种方法：
copy(L,R) :- accCp(L,R).
accCp([],R).
accCp([H|T],R) :- accCp(T,H).
当我在这上面运行跟踪时-我可以看到单个项目被复制过去，但它们“丢失”了，并且没有形成一个不断增长的列表(在R处，正如我所希望的)。我怎么才能做到这一点呢？
非常感谢
浏览 0提问于2009-12-16得票数 5
回答已采纳
1回答
我的规则是将第一个参数与列表中的第三个元素统一起来。该列表是规则中的第二个参数。如果没有第三个元素，这应该会失败。
在经历了许多例子和困惑之后，我创建了这个规则。
third(X,[_|T]):-
[_,Y] = T,!,fail,
(Y,X).
所以我的理解，我认为是不正确的，它将Y设置为列表T的第三个元素，因为T是初始列表的尾部。然后它会把Y和X统一起来。
我仍然对“统一”这些元素的代码感到困惑
浏览 0提问于2012-10-24得票数 0
回答已采纳
2回答
我有以下代码：
check([],[]).
check([X], [Y]) :-
X > 0,
Y is 1.
check([X], [Y]) :-
X =:= 0,
Y is 0.
check([L1|Tail], [L2|Tail2]) :-
L1 > 0,
L2 is 1,
check(Tail,Tail2).
check([L1|Tail], [L2|Tail2]) :-
L1 =:= 0,
L2 is 0,
check(Tail,Tail2).
谓词检查创建一个表，将所有大于0的项替换到1中。
浏览 1提问于2012-01-08得票数 2
我正在创建一个谓词enum，它接受一个列表和一个数字，例如[1,2,3,4]和3，并返回一个包含长度为3的列表的列表。因此，在给定enum([1,2,3,4],3,[[1,2,3],[2,3,4]])的示例中。我已经创建了一个函数take，它只接受长度为N的第一个列表，但是当我试图循环它以获取所有其他列表时，我得到了错误。谢谢你的帮助。
append([],L,L).
append([H|T],L2,[H|L3]):- append(T,L2,L3).
len([],0).
len([_|B],X):- len(B,X1), X is X1+1.
take(_,X,Y) :- X =<
浏览 0提问于2016-11-29得票数 0
1回答
有一个简单的Prolog插入排序算法：
sorting([A|B], Sorted) :- sorting(B, SortedTail), insert(A, SortedTail, Sorted).
sorting([], []).
insert(A, [B|C], [B|D]) :- A @> B, !, insert(A, C, D).
insert(A, C, [A|C]).
它在普通列表中做得很好：
?- sorting([5, 4, 9, 1, 3, 8], X).
X = [1, 3, 4, 5, 8, 9].
但我还需要对包含它们的列表的子列表进行排序：
?- sort
浏览 3提问于2012-10-04得票数 4
4回答
我试图用Prolog编写一个程序，它将包含三个列表(所有这些列表都是相同的长度)并返回一个列表列表。
我要返回的列表列表是一个三重列表，其中包含正在传递的三个列表中的元素。三元组的第一个元素来自传入的第一个列表，第二个元素来自第二个列表，第三个元素来自传入的第三个列表。
我想要发生的是函数返回的三元组列表，以返回从传入的三个列表中可以生成的每一个可能的组合。
到目前为止，我有一些代码，这些代码接受三个列表的前几个元素，并将它们分成三个，然后从所有列表中提取第二个元素，然后再从它们中提取一个三元组，以此类推。它在下面。
listCombos( [], [], [], []).
lis
浏览 0提问于2018-10-14得票数 1
1回答
我在Prolog上有一个与列表列表相关的问题。问题是关于实现一个Prolog谓词：to_do(ListOfLists,_,Result)。其中，ListOfLists是字符列表，可以是a、b、c或d。Result必须将a替换为ai，将b替换为bi，将c替换为x，将d替换为y。
例如,
?- to_do([[b,c],[a,d]],_,Result).
Result = [[bi,x],[ai,y]].
?- to_do([[a,a,b],[b,c,d],[c,c,a]],_,Result).
Result = [[ai,ai,bi],[bi,x,y],[x,x,ai]].
请注意
浏览 3提问于2013-11-09得票数 0
我知道如何迭代Prolog中的列表以找到最大值，但如果每件事都是一个单独的子句呢？例如，如果我有一群猫和它们的年龄，我怎么才能找到最老的猫呢？
cat(sassy, 5).
cat(misty, 3).
cat(princess, 2).
我的第一个想法是“嗯，最老的猫是没有更老的存在的猫”。但是我真的不能很好地把它翻译成prolog。
oldest(X) :- cat(X, AgeX), cat(Y, AgeY), X \= Y, \+ AgeX < AgeY, print(Y).
这仍然错误地匹配了"misty“。这样做的正确方法是什么？有没有什么方法可以更直接地迭代年龄来选
浏览 0提问于2009-11-09得票数 1
回答已采纳
1回答
我正在尝试一个prolog问题，该问题声明如下：
幻方是由不同的数字组成的3×3矩阵(介于1到9之间)，使得所有行和列加为相同的总数(但不一定是对角)。例如:2，7，6，9，5，4，3，8是一个魔方.我们将Prolog中的平方表示为3×3矩阵，即列表R1、R2、R3，其中每个R_i都是一个由三个数字组成的列表。例如，上面幻方的表示形式是[[2,7,6],[9,5,1],[4,3,8]]
定义一个谓词魔术/1，它测试一个地3×3矩阵(即所有条目都是数字)是否为幻方。
我这样做的方式如下，我很肯定，如果我在考试中也这样做，这是允许的，然而，对我来说，这似乎是一种黑客：
magic([[A,B,
浏览 4提问于2016-05-12得票数 0
1回答
N×n矩阵可以表示为n个列表的列表，每个列表都有n个元素，该矩阵实际上可以写为[1，2，3，4，5，6，7，8，9]。
我需要编写一个Prolog程序来添加每一行中的所有值。我是Prolog新手，请多多指教。在进阶时谢谢！
下面是我所做的，但它似乎不起作用...
sum(X):-
result(X,0,0,Y),!.
result([H|T],I,J,Length):-
rowTotal([H|T],J,Sum),
write('Sum of Row: '),
write(Sum),nl,
(not(I = Length)) ->
浏览 0提问于2010-12-05得票数 1
回答已采纳
1回答
我正在尝试查看列表列表，如果指定的值在给定行中出现两次，则返回true。例如：
%B is a list of lists such the positions of x are denoted by the values
[[1,1],[2,3],[3,2]] would be visualized like:
x--
--x
-x-
这些坐标将由B表示，因此一个方法foo(B)，其中B=
[[1,1],[1,3],[2,3],[3,3]] = true
因为x将在第一行中出现两次。
浏览 6提问于2018-12-13得票数 0
回答已采纳
我要做的是编写一个谓词乘法/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
回答已采纳
1回答
Prolog中的图形
、、、
我是Prolog新手，需要一些帮助:D
我学习了递归，我知道如何使用它(或多或少)。我在图形方面遇到了麻烦。我正在尝试解决背包问题，所以我一步一步来。
我的问题是:我有一个类型列表，我想创建所有长度为n(=3)的子列表，并选择具有最大值的子列表。我认为我需要一个函数来提取类型列表的头部，并将其传递给另一个递归计算“子”的函数。我的想法是这样的：
append([],L2,L2):- !.
append([T|C],L2,[T|L3]):-
append(C,L2,L3).
genera_ext(_,[],_).
genera_ext(Padre,[TT|CT],Figlio):-
浏览 0提问于2017-10-06得票数 0
1回答
我有几个prolog事实：
relation('Kitchen', [item(spoon), item(fork), item(knife) ]).
relation('Lounge', [item(sofa), item(chair), item(table) ]).
relation('Bedroom', [item(bed), item(desk), item(drawers)]).
以及在运行时生成的列表，例如：
[item(spoon), item(knife)]
在这个列表中，在这种情况下，我希望返回“Kitchen
浏览 0提问于2012-04-20得票数 4
回答已采纳
我已经写了一个Prolog代码来查找列表的基数，即不同元素的数量。它给出了正确的输出，但它运行了多次，我似乎无法理解它。我用过调试器，但我不明白出了什么问题
member(A, [A|_]).
member(A, [_|L]) :- member(A, L).
crdnlty([],0).
crdnlty([A|R],N) :-
(
\+ member(A, R),
crdnlty(R, N1),
N is N1+1
);
(
member(A, R),
crdnlty(R, N)
).
成员检查A是
浏览 0提问于2020-02-21得票数 1
5回答
我正在尝试用Prolog编写一个谓词palindrome/1，当且仅当它的列表输入由回文列表组成时，它才为真。
例如：
?- palindrome([1,2,3,4,5,4,3,2,1]).
是真的。
有什么想法或解决方案吗？
浏览 2提问于2011-12-29得票数 5
回答已采纳
我在将数字转换成数字列表时遇到了问题。怎么了？一切都很好，直到它从递归中返回。 number_to_digits(0, [_ | _]).
number_to_digits(Number, List) :-
Number > 0,
NewNumber is div(Number, 10),
Digit is mod(Number, 10),
append([Digit], List, NewList),
number_to_digits(NewNumber, NewList).
浏览 25提问于2020-09-08得票数 0
我是Prolog的初学者(使用SWI)，我有以下问题：
我有一条规则的定义如下：
start:-
write("Enter first list: "), read_list(List1),
write("Enter second list: "), read_list(List2),
equal_length(List1, List2),
compare(List1, List2, Alike),
write(" The lists are "), write(Alike).
start:- write(&
浏览 1提问于2015-09-24得票数 0
回答已采纳
考虑以下谓词：路径(开始、结束、大小、路径)
Start是网格中由列表行、列标识的单元格。End是网格中由列表行、列标识的单元格。Size是给出最大行和列值的列表。Path由相邻单元格列表组成，其中相邻单元格为左/右和上/下。路径没有循环；也就是说，单元格只能在列表中出现一次。
使用以下查询：路径(1，1，4,4，4,4，Path)。有效路径是：[1,1，1,2，1,3，1,4，2,4，2, 3，3，3，3，3,4，4,4)。
你怎么解决这个问题？
浏览 0提问于2013-10-07得票数 0
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
回答已采纳
1回答
我试图编写一个程序，它以两个列表作为输入，并检查适当的子集。我一开始是：
proper([A],[]).
proper([],[A]).
proper([A|T1],[A|T2]) :- proper(T1,T2).
对于完全相同顺序的输入来说，这是非常好的。例如：
?- proper([a,b,c],[a,b,c,d]).
Yes
但不适用于投入，例如：
?- proper([a,b,c],[b,d,a,c]).
No
在浏览了这个网站之后，我发现了以前问过的问题：
这导致我修改代码如下：
proper([A],[]).
proper([],[A]).
proper([A|T1],[A|T
浏览 4提问于2013-10-24得票数 6
回答已采纳
1回答
关于Prolog的一个小问题。假设我使用了内置谓词findall/3来获取列表，并使用变量X作为输出。
我想知道如何在另一个谓词(如last/2 )中使用这个列表来找到这个列表的最后一个元素。如果你也能包括一个小的例子，那会有很大帮助。
浏览 1提问于2016-02-28得票数 0
回答已采纳
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
回答已采纳
1回答
我试着按给定的预定顺序对颜色列表进行排序。例如，列表r，z，z，w，g，g，r，z按z，b，g，r，w排序，将给出z，g，g，r，w的最终结果。
我尝试使用基本的bubblesort算法，并添加一个检查，看看前两个术语中的哪一个在订单列表中会“更高”。
% take the to-sorted list, the order in which to sort the list, and the
% result.
%colourSort([r,z,z,w,g,g,r,z],[z,b,g,r,w],X). returns X = [z,z,z,g,g,r,r,w]
colourSort(Li
浏览 1提问于2015-03-19得票数 3
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
回答已采纳
1回答
请帮帮我!我不理解SWI-Prolog
从列表L1到列表L2，另一个元素等于列表L1中接下来的三个项目的算术平均值。如果L1元素的数量不能被3整除，则通过将一个或两个最近项目列表L1的和除以3来获得列表L2中的最后一个项目。提示屏引入List L1。因此，程序应该输出输入L1和L2结果列表。
列表项可根据要求提供。
浏览 3提问于2012-11-15得票数 1
回答已采纳
1回答
使用prolog，
定义谓词conc( L1，L2，L3)，其中L3是两个列表(L1)和L2(使用上述谓词)的连接，定义谓词One_after_first(X，L)为真当且仅当项X在list L.中的第一个元素之后立即出现。
浏览 4提问于2022-07-03得票数 0
a)编写一个谓词heads/2 (a r g l，arg2)，它接受argl中列表的实例化列表，并将子列表的头部列表计算为arg2。例如：
?- heads([[3, 8], [9], [1, 2, 3], [a, b, c]], L).
L = [3, 9, l, a]
b)定义mply以接受两个输入；一个整数和整数列表。结果是通过将列表中的每个整数乘以输入整数而形成的整数列表。例如：
?- mply(5, [1, 2, 3], X).
X = [5, 10, 15]
C)编写一个Prolog程序，名为compute ( Expr，Value)，它将计算算术表达式Expr的值
浏览 3提问于2013-06-27得票数 0
回答已采纳
2回答
Prolog列表问题
、、、
当我遇到这个问题时，我正在试着理解prolog中的列表：
有一个谓词mergeandmap/2基本上应该这样做：
mergeandmap([[a1,...,an],...,[z1,...,zm]],[x1...xn])
%----------list 1------------ -list 2--
列表2与字母(例如a、b、c)相一致。列表1与包含1s和0的大小(List2)元素相一致(例如：[0，0，1，1，1，1，1，1，1])
prolog程序应从列表1中确定应打印列表2中的哪些元素以及何时打印。
对于上面的例子：
([[0,0,1],[1,0,1],[0,1,1
浏览 3提问于2009-12-13得票数 0
回答已采纳
我想解决中的一个问题。我有一个合适的元素(常量)的列表。
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回答
我有一个类似的问题:找到一个列表中的所有元素，使得紧接其后的所有元素都是/是奇数。
例如
?- find([20,1,2,3,4,5,6,7,8,10], L).
L = [20, 2, 4, 6]
通常在其他语言中，我会遍历列表并检查条件，但在这种情况下，我不知道如何在Prolog中“思考”。我应该如何处理这个问题？
浏览 1提问于2013-02-08得票数 1
回答已采纳
我很难理解findall/3为什么在我的程序中是这样的。基本上，我已经编写了i谓词，这应该是取一个列表，并返回每个可能的两个索引--例如，如果我的列表长度为3，pairs([1,2,3],L)将返回[1/2, 1/3, 2/3]，正如我所期望的那样。(在我的对谓词中，我用findall生成这个列表L)
但是我写了另一个谓词，它应该返回一个包含所有子列表的列表，一个列表和谓词也使用findall，但是结果与我预期的不一样。
/*calculate a list CASES with all the sublists from LIST .*/
test(LIST, CASES):-
pai
浏览 5提问于2021-05-14得票数 0
回答已采纳
我正在浏览手动文件Win-W32.PDF，但是我找不到如何在列表框中获取所选的项。
即在这种情况下test3的索引
我知道: test是名字，3是列表框的id。
wlbxsel((test, 3),1, X)获得第1项的状态
wlbxsel((test, 3),1, 0)取消选择项目1
以同样的方式，我尝试了wlbxsel((test, 3),X, 1)，认为它会返回所选项目的索引，但我得到了Error 22 : Instantiation Error。
任何指针、文档或引用都将受到高度赞赏。
浏览 3提问于2019-03-16得票数 0
回答已采纳
1回答
Prolog回文
、、、
我试图在Prolog中编写回文函数。我知道我可以像
palindrome(List) :- reverse(List, List).
但我想找出一种不用反向使用内置的方法。我创建了自己的反向规则：
rev([], []).
rev([H|T], X) :- rev(T, Y), append(Y, [H], X).
我想要的是，给出一个列表，比如说a，b，c，d，我想做一些类似于"X = rev(a，b，c，d)“的事情，但是我不确定这在Prolog中是否可行。
如果是这样的话，我编写回文函数的方式应该是：
palindrome(List) :- append(L1, rev(L1),
浏览 4提问于2016-05-11得票数 3
回答已采纳
3回答
新手，正在尝试以递归方式处理列表列表。
假设我有一个列表：
prices([20, 20, 40]).
和另一个列表(列表)：
items([ [12, 14, 23],[8, 16, 22],[18, 12, 14] ]).
我想将价格中的一个元素附加到items中的每个列表中：
items([ [12, 14, 23, 20],[8, 16, 22, 20],[18, 12, 14, 40] ]).
我在同时处理单个列表和列表列表时遇到了问题。
如有任何建议，我们将不胜感激。
谢谢!
浏览 0提问于2013-12-19得票数 1
我有一个关于这个话题的问题， 我知道Prolog的列表像head，(tail)一样工作，但是有没有什么函数或者神奇的触摸(示例代码)来查找列表中的元素数量呢？有没有办法获得列表中相同元素的数量，然后比较列表或列表中唯一的元素？
浏览 38提问于2020-06-19得票数 2
回答已采纳
我是Prolog的新手，我正在寻找一个关于如何解决这样的事情的例子:我们有两个列表，我们需要一个新的列表，它是由两个列表中的元素和与相同的索引组合而成的。
?-sm([1,2,3,4],[3,4,5,6],X).
X=[4,6,8,10].
我们应该如何解决这个问题？
浏览 0提问于2015-12-06得票数 1
1回答
我正在为即将到来的考试复习一些练习，在这方面有困难。
给定一个整数列表L，定义谓词: add(L，S)，它返回整数S的列表，其中每个元素是L中所有元素的和，直到相同的位置。
示例：
?-加(1，2，3，4，5，S)。
S= 1,3,6,10,15。
所以我的问题是什么定义谓词的意思？看起来挺一般的。我读过一些帖子，但它们提供的内容不多。谢谢!
浏览 1提问于2016-11-16得票数 1
回答已采纳
我在我的prolog程序中构造列表时遇到了问题。我有一个谓词，它返回一行中的一个case。我必须对这一行的所有案例进行分组，并将它们转换为列表列表。我可以很好地访问它们，但是当我退出时，我得到的只是第一个元素。
代码如下：
sudoku3to2 :- s3to2(1).
s3to2(Line) :-
Line < 9,
Line1 is Line+1,
s3getLine(Line,0,[L]),
assert(sudoku2(Y,L])),
s3to2(Line1).
s3to2(9).
s3getLine(Line,X, , ) :-
浏览 0提问于2012-10-22得票数 1
我需要创建一个邻接矩阵，将图的顶点表示为事实：
graph(a,b).
graph(c,c).
graph(b,c).
我需要输出矩阵：
0 1 0
0 0 1
0 0 1
我知道我应该为每一行做一个列表，但是当它们是符号，而不是数字时，问题就出现了，所以我不知道如何知道列表的大小(例如，如果有一个图(e，f)。列表必须有六个数字，这样f才能匹配)。我不想要完整的答案，如果你只是想告诉我该怎么做，我想我可以。
浏览 0提问于2011-03-28得票数 3
回答已采纳
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
回答已采纳
我正在尝试一些代码，它将返回一个单一的位置/索引列表，其中元素在某个基列表中找到。经过多次搜索，复制，调整等。下面的代码是我到目前为止所得到的。 它可以在SWISH中工作，但需要我点击next几次，最后才能得到一个包含搜索到的元素的所有位置的列表。 在发送/打印结果列表之前，我如何让它做所有的答案？ pos([E|_],E,I,P) :- P = I.
pos([E|T],E,I,[P|Pt]) :- I1 is I+1, pos(T,E,I1,Pr), Pt = Pr, P = I.
pos([H|T],E,I,P) :- H\=E, I1 is I+1, pos(T,E,I1,Pr),
浏览 8提问于2021-08-10得票数 0
回答已采纳
3回答
Prolog列表平台
、、、、
刚被介绍到prolog，试图通过一些简单的练习，但我在这一点上有点卡住了。我正在尝试编写一个程序来输出输入列表的所有子列表，其中每个子列表的长度都大于1，并且它不能扩展到更大的子列表。它还将输出子列表中的起始位置。因此，示例输出将为
| ?- plateau([a,a,b,2,2,2,a+1,a+1,s(1,2)], I, Len).
I = 1,
Len = 2 ? ;
I = 4,
Len = 3 ? ;
I = 7,
Len = 2 ? ;
no
我仍然对整个声明式的东西感到非常困惑，并且在从命令式模式切换出来时遇到了很多麻烦。我在
浏览 1提问于2012-03-13得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
