计数因findall在Prolog中不起作用而导致的列表大小
在Prolog中，findall谓词用于从一个目标中收集满足某个条件的所有解，并将它们存储在一个列表中。然而，有时候在使用findall时可能会遇到计数不准确的问题，导致列表大小不正确的情况。
这个问题通常是由于变量的作用域或逻辑错误导致的。下面是一些可能导致findall计数不准确的常见原因：
- 变量作用域错误：在使用findall时，确保变量的作用域正确。如果变量在findall之外被绑定或修改，可能会导致计数不准确。
- 逻辑错误：在findall的目标中，确保逻辑正确，没有遗漏或错误的条件。如果目标中存在逻辑错误，可能会导致findall无法正确地收集解。
为了解决这个问题，可以尝试以下方法：
- 检查变量作用域：确保在findall之前，所有相关的变量都在正确的作用域内，并且没有在findall之外被修改。
- 检查逻辑错误：仔细检查findall的目标，确保它是正确的，并且没有遗漏或错误的条件。
- 使用调试工具：在Prolog中，可以使用调试工具来帮助定位问题。通过设置断点并逐步执行代码，可以观察变量的值和目标的执行情况，以找出问题所在。
总结起来，当在Prolog中使用findall时遇到计数不准确的问题时，需要仔细检查变量的作用域和逻辑的正确性。通过调试工具来帮助定位问题，并确保代码中没有其他潜在的错误。
相关·内容
我很难理解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
回答已采纳
我的意思是，如何在另一个函数中使用findall函数
subset(0, [], []).
subset(Len, [E|Tail], [E|NTail]):- succ(PLen, Len),(PLen > 0 -> subset(PLen, Tail, NTail) ; NTail=[]).
subset(Len, [_|Tail], NTail):- subset(Len, Tail, NTail).
这给出了一个包含N个元素的列表的子列表，但我想将所有结果保存在一个列表中，然后我写道
result(N,List,Result):- findall3(Y,subset(N,
浏览 0提问于2013-06-10得票数 0
1回答
我是Prolog的新手，在基本上是一个计数器方面有一些困难。
此代码适用于：
listProf(L1) :-
findall((LastName,FirstName,Id), professor(Id,LastName,FirstName), L1).
L1是一个列表，其形式如下：L1(LastName,FirstName, Id)
现在我有了一个列表L1。我需要在这个列表之后创建一个新的列表，该列表在表单：L2(LastName, FistName, NumberOfCredits)下面
如果NumberOfCredits中的Id与：groupeCours( _, _, _, _,Id
浏览 3提问于2017-04-20得票数 0
回答已采纳
假设您有以下谓词：
random_int(X/Y):-
random(1,100,X),
random(1,100,Y),
X\=Y.
如何使用此谓词的结果填充大小为n的列表？
我尝试了下面的代码，但它只在第一次尝试时random_int(X)为真时才填充列表，即它不会回溯到尝试X和Y的其他组合。
findall(X,(between(1,N,_), random_int(X)),L).
浏览 0提问于2015-01-31得票数 3
我是Prolog的新手，我试图从列表中删除一个子列表并返回结果，我觉得我已经很接近了，但它不起作用。
remove_sublist([],[],[]).
remove_sublist(Lst,Sub,Ret):-
Lst = [H|T], Ret = [H1|T1],
(/+member(H,Sub)
->H1 is H, remove_sublist(T,Sub,Ret)
;remove_sublist(T,Sub,Ret)).
例如，当我输入查询时，我希望它输出如下：
?- remove_subl
浏览 0提问于2020-04-29得票数 0
我正在努力寻找一种将列表转换为字符串的方法。此列表是findall谓词的输出。 请参见下面的代码。 edge(a,b).
edge(a,c).
edge(b,c).
edge(c,d).
edge(c,e).
edge(d,e).
edge(f,g).
edge(g,h).
route(X, Z, []) :- edge(X, Z).
route(X, Z, [Y|T]) :- edge(X, Y), route(Y, Z, T).
allways(X, Y) :- findall(E, (route(X, Y, E), write(E), nl), _).
%allways(
浏览 21提问于2020-10-12得票数 1
回答已采纳
1回答
我将展示一些代码，并问，哪些可以优化，我在哪里很糟糕？
sublist([], []).
sublist([H | Tail1], [H | Tail2]) :-
sublist(Tail1, Tail2).
sublist(H, [_ | Tail]) :-
sublist(H, Tail).
less(X, X, _).
less(X, Z, RelationList) :-
member([X,Z], RelationList).
less(X, Z, RelationList) :-
member([X,Y], RelationList),
l
浏览 0提问于2011-02-14得票数 2
1回答
我正在使用草莓Prolog (我学校的计算机实验室有什么)实现一个家谱，并希望摆脱重复的答案。findall函数在Strawberry Prolog中有效，它将所有答案放在一个列表中，但我相信setof不存在于此编译器中。我可以切换编译器，或者将setof-function添加到这个编译器中。我认为后者会是一种更好的学习体验，但我不知道从哪里开始。
有没有人碰巧知道其他编译器中setof函数背后的代码，以及如何将其转换为Strawberry Prolog？或者在Strawberry Prolog中已经有类似setof的函数了吗？
谢谢。
浏览 1提问于2011-10-21得票数 0
回答已采纳
我需要打印清单但我有麻烦了..。我有这样的事实：
processor('Intel Core i3 8100', 104, 'low_range') .
processor('Ryzen 5 2400g', 135, 'middle_range').
motherboard('Gigabyte Z370P D3', 98, 'low_range') .
motherboard('Gigabyte GBT AX370M-DS3H', 70, 'middle_ra
浏览 0提问于2018-05-12得票数 0
回答已采纳
1回答
用Prolog给出递归定义：
定义一个谓词prod(L，N)，它接受一个数字列表L，并计算该列表中数字的乘积N。
我找到了一种对总和有效的方法：
sum([],0).
sum([X|L],N) :- sum(L,N1),N is N1 + X.
请帮帮我。我已经尝试了很长一段时间，但它仍然不起作用。
浏览 0提问于2018-04-29得票数 0
1回答
我目前正在做一个涉及矩阵的项目。我被困在对矩阵中的特定元素应用约束的尝试中。这是主类/谓词的矩阵和域定义。因此，前三个谓词只是创建矩阵并定义域，而最后两个谓词则标记与域有关的不同变量并打印出来。
test(Solution, N) :-
length(Solution,8),
maplist(length_(8), Solution), %The variables
maplist(define_domain, Solution), %The domains
constraint(Solution),
maplist(labeling([]), Solu
浏览 2提问于2015-03-29得票数 1
回答已采纳
我是Prolog和以下程序的新手：
place(Store,2,a).
place(Store,1,b).
place(Store,3,d).
place(Store,4,c).
placeSort(S,List):- findall(L,place(S,N,L),List).
输出：List = [a, b, d, c].
通过使用placeSort(S，List)，我可以找到包含S (Store)的所有元素(a，b，c，d)。
然而，我想在这里实现的是使用N对a，b，c，d的位置进行排序，但是我不知道如何做到这一点，因为使用排序只会按字母顺序进行排序
placeSort(S,NewList
浏览 3提问于2018-11-30得票数 0
我正在为Fox and Geese类型的游戏编写AI。我的一个谓词看起来是这样的：
moveFox(+PrevState, -NextState, -PegList, +VisitedStates, -NewVisitedStates)
它需要一个游戏状态，并与一只狐狸一起移动。结果状态与NextState统一，实际移动与PegList统一。一切都按预期运行。
我正在计算所有动作的NextState的效用分数。为了能够找到效用分数最高的状态，在比较它们的效用分数之前，我使用findall/3来获取列表中的所有状态。
findall(NextState, moveFox(...), NextSt
浏览 3提问于2013-04-11得票数 5
回答已采纳
有一个std::unique_ptr<A>向量。我需要将数据传递给一个期望A向量的函数。
我试过使用std::transform，如下所示：
std::vector<std::unique_ptr<A>> a;
std::vector<A> aDirect;
std::transform(a.begin(), a.end(),
std::back_inserter(aDirect),
[](std::unique_ptr<A> element)-> A { return *element; });
但是std:
浏览 1提问于2020-03-08得票数 2
回答已采纳
我正在尝试执行这个Prolog查询：
placeRedBlocks(4, X), findall(Y, loopReplace(X, Y), A).
它输出以下内容：
A = [[r, r, r, b], [r, r, r, r], [b, r, r, r]],
X = [b, b, b, b]
在代码中工作，如果我只键入
placeRedBlocks(4, X).
我使用的代码如下：
printList([ ]).
printList([H|T]) :- print(H), nl, printList(T).
placeRedBlocks(Length, List) :-
findal
浏览 1提问于2017-12-07得票数 0
我仍在努力理解Prolog逻辑，并偶然发现了一个问题。我试图保存在递归调用中找到的值，以传递或收集。
因此：
main([]) :- !.
main([H|Tail]) :- findall(X,something(_,_,X),R),
getValueReturn(R,H,Lin, Lout),
main(Tail).
% X is the Head from main
getValueReturn([H|Tail],X,Lin, Lout) :- subset(X, H) ->
浏览 5提问于2017-12-06得票数 0
回答已采纳
在SWI-Prolog中，我有一个list，它的元素是Key-ValuesList形式的对。例如，一个这样的列表可能如下所示：
[1-[a,b],2-[],3-[c]]
我想把这个列表转换成键值对的嵌套列表，其中值是ValuesList中的一个元素。上面的示例将转换为：
[[1-[a],2-[],3-[c]], [1-[b],2-[],3-[c]]]
我目前的解决方案如下：
% all_pairs_lists(+InputList, -OutputLists).
all_pairs_lists([], [[]]).
all_pairs_lists([Key-[]|Values], CP) :-
浏览 2提问于2012-08-07得票数 1
回答已采纳
我需要一个谓词，它为我提供Prolog上列表的所有后缀。
例如：
?- suffixes([1,2,3], X).
X = [[1, 2, 3], [2, 3], [3], []].
我尝试过这样做，但我不能使用findall函数将它们全部放在一个列表中。
suffix(Xs, Ys) :- append(_,Ys,Xs).
suffixes(Xs, Ss) :- findall(S, suffix(Xs,S), Ss).
浏览 26提问于2022-12-02得票数 1
1回答
我有具有这些结构的数据库
my_family( person("FN","SN", unempl(), 20),
person("FN2","SN", work("Soft", 200), 30),
[person("FN3","SN", work("HP" , 10), 13),
person("FN4",&#
浏览 5提问于2013-01-31得票数 0
3回答
我正在考虑把一个prolog程序的所有痕迹放在一个列表中。例如，假设我有 a.
v(1).
v(2).
test:-
a,
v(X). 我想获得一个表单[[a,v(1)],[a,v(2)]]的列表(或者类似的东西，我可以随时使用findall来获得所有的解决方案)。 我想到的最明显的想法是预处理prolog代码，将列表作为参数添加到谓词中(使用SWI中的term_expansion/2 )，然后在每次调用后将该术语添加到列表中。例如： test(L0):-
a,
append([],[a],L1),
v(X),
append(L1,[v(X)
浏览 52提问于2021-08-02得票数 0
我想从事实中创建一个列表。并且该列表应该只包含事实中的一个事实。
例如：
%facts
abc(a, b, c).
abc(d, e, f).
abc(g, h, i).
示例：
?-lists(A).
A = [a, d, g];
No.
编辑：
在注释中使用Vaughn Cato的建议，代码变成这样：
%facts
abc(a, b, c).
abc(d, e, f).
abc(g, h, i).
lists(A) :-
findall(findall(X, abc(X, _, _), A).
列表已经创建，但是如何总结列表A呢？
如果来自查询输入的列表的总和，
suml
浏览 2提问于2012-05-15得票数 0
回答已采纳
我有一个返回多个答案的prolog定义。我想返回一个包含所有可能答案的列表，而不是这个。
例如。
alpha;
beta;
gamma;
delta;
至
[alpha, beta, gamma, delta];
如何在prolog中做到这一点呢？
浏览 0提问于2012-04-27得票数 1
回答已采纳
2回答
我们使用的是2.4-20版本的内核，我们需要在内核模式下统计活跃用户数。我们的目标是更改调度器，所以我们是在Schedul.c中，修改schedule()函数。
我们所做的是在list_for_each宏中计算用户数量。
list_for_each(tmp, &runqueue_head) {
p = list_entry(tmp, struct task_struct, run_list);
if (can_schedule(p, this_cpu)) {
if (unique(p->uid)) add_new_user(p->uid);
浏览 0提问于2012-05-17得票数 9
回答已采纳
1回答
关于Prolog的一个小问题。假设我使用了内置谓词findall/3来获取列表，并使用变量X作为输出。
我想知道如何在另一个谓词(如last/2 )中使用这个列表来找到这个列表的最后一个元素。如果你也能包括一个小的例子，那会有很大帮助。
浏览 1提问于2016-02-28得票数 0
回答已采纳
我使用findall谓词
findall(A,getzoo(B,A),MyList)
它返回这个列表
A = [[[ant,bear,crab,tortoise,lion],230], [[lion,tiger,bear],560], [[platypus,tiger,snake],3500], [[hippo,giraffe,snail,emu,condor],30], [[bat,robin,hawk,ape,macaw],100]]
我需要返回列表中的min，即Min = [hippo,giraffe,snail,emu,condor],30]
我让min谓词在一个直接列表上工作得很好。
浏览 0提问于2012-11-04得票数 0
回答已采纳
假设我有两个实体。第一个实体是具有一对多关系的第二个实体的父实体.
class Item {
String name;
Integer price;
}
class Order {
List<Item> items;
String customerName;
}
我有这样定义的存储库：
interface OrderRepository extends JpaRepository<Order, Long>, QueryDslPredicateExecutor<Order> {
}
之后，我有一个控制器，它自动地将参数绑定到谓
浏览 1提问于2016-07-13得票数 0
回答已采纳
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
回答已采纳
假设我有一个带有字母A的数据库：
elem(a). elem(b). ... elem(g).
我想做一个谓词，给出列表中这7个字母的所有可能组合，您可以这样做：
findall(List, permutation([a,b,c,d,e,f,g],List), X).
X将是一个包含所有组合体的列表(您甚至不需要这个数据库)。
但是，但是我想要的是列出一个只有5个元素的列表，其中包含7个可用的字母。我怎么能做到呢？
浏览 3提问于2017-10-02得票数 1
所以我想
我正在用is_a(b, a), is_a(c, a)定义集合，为了简单起见，它在视觉上看起来如下所示：
a
b c
d e f g
我想给出列表[b, c]，因此得到列表[d, e, f, g]
当我给出一个node或变量时，它可以使用以下方法找到它下面的所有内容：
find_nodes(Root, Root) :-
\+ is_a(_, Root).
find_nodes(Root, X) :-
is_a(Node, Root),
find_nodes(Node, X).
当我跑步时，我需要的结果是：
?- find_
浏览 1提问于2018-11-08得票数 1
回答已采纳
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回答
日安，
我有一项任务(不是家庭作业)，而是备考问题。给定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
回答已采纳
2回答
我是prolog语言的新手。我在prolog中遇到了一个有趣的问题。
通常，快速排序适用于大型列表。但是对于较小的列表，插入排序比快速排序效果更好。如何用Prolog编写一个排序算法，它最初使用快速排序，但对于15个或更少元素的子列表切换为插入排序。
提示是，我们可以在分区操作期间计算元素的数量。但是我不知道如何形成一个算法来解决这个问题。有谁能指导/帮助我吗？
在此之前非常感谢。
浏览 0提问于2013-11-10得票数 0
1回答
我对Prolog编程还不熟悉，所以还在学习。我试图创建一个程序，它接受一个值X，并返回6到X之间所有素数的列表。如果X被输入为6或更低，我稍后也会添加一个错误输出。
到目前为止，我已经提出了下面的代码，输入x的值，Y作为第一个素数，计数器作为1。即使这样做也不起作用，因为我试图增加Y的值。如果我能得到这个工作，我计划添加条件，只显示Y是否是素数，检查它是否被自己和1除以。
如果有人有任何建议，我们将不胜感激。
prime (X, Y, Counter) :-
X >= Y,
writeln(Y),
Next is Y + Counter,
prime (X
浏览 3提问于2022-07-02得票数 0
回答已采纳
我正在尝试创建一个具有非空Guard元素的配对列表。
get_only_guarded(L) :-
Guard \= null,
findall([S,D],transition(S,D,_,Guard,_),L).
这就是我尝试过的方法，但似乎不起作用。正确的方式是什么？
浏览 3提问于2015-03-29得票数 1
3回答
好了我的最后一个开场白问题。这是常见的遗传学问题。
我想要获取一个事实列表，并有一个名为descendant的函数，该函数将返回一个包含所有子代的列表。例如：
给定规则：
parent('Bob', 'Tim').
parent('Joe', 'Bob').
函数调用：
descendant('Joe', X).
应返回：
X = ['Bob', 'Tim'].
我可以让它返回'Joe‘的直接后代，但不能返回整个行。这就是我所拥有的。
% Recur
浏览 0提问于2010-03-05得票数 0
1回答
考虑到以下代码：
fun(a, [b]).
fun(b, [c]).
fun(c, [d]).
fun(d, [e]).
fun(e, []).
xyz(X, Y):-
fun(X,Z) -> findall([A|B], (member(A,Z), xyz(A,B)), L),
flatten(L,F), sort(F,J), reverse(J,Y); Y = [].
通过查询xyz(a,X)，我获得了预期的输出X = [e,d,c,b].。
怎么可能把这个扔了？这与排序函数有关吗？如果是这样的话，根据下面链接中的文档，alpha或数字优先顺序可能会将其抛出，但cs
浏览 5提问于2015-03-09得票数 0
回答已采纳
4回答
这是我的一项任务的问题：
编写repCount(L, X, N)，当N是列表L中X出现的次数时，这是正确的。
下面是我的代码，我试图递归地处理这个问题：
repCount([], X, N) :-
N is 0.
repCount([H|T], X, N) :-
count([H|T], X, N).
count([], X, 0).
count([H|T], X, N) :-
count(T, X, N1),
X =:= H,
N is N1 + 1.
当我提供一张全相同数字的列表时，它就起作用了：
?- repCount([2,2,2], 2, N
浏览 2提问于2012-02-22得票数 4
回答已采纳
我使用的是GNU，下面的代码查找小于X的数字，这些数字可以被Y整除，假设X和Y> 0。
find_num(X, Y) :-
findall(N, between(1,X,N), List),
check_list(List, Y).
check_list([Head|Tail], Y) :-
(
divides(Head, Y) ->
format('~w ~s ~w ~n', [Head, "divisible by", Y]);
true
),
ch
浏览 4提问于2016-11-06得票数 1
回答已采纳
1回答
我有一个函数，它接受一个列表列表，我想要将内部列表中的每个int匹配到一个特定的模式。列表中有9个列表(称为A)，列表中的每个列表也包含9个ints。我想使用递归一次遍历每个列表3，并适当地打印，但我似乎没有通过递归的第一步，在我的主要功能。清晰守则：
print_tail([]).
print_tail([A,B,C|Ts]) :-
write('print_tail called'), nl,
print_tail_h(A,B,C),
write('Recursed'), % this never prints
pri
浏览 0提问于2014-11-20得票数 0
回答已采纳
1回答
假设我有一个包含几个事实的谓词pred。
pred(a, b, c).
pred(a, d, f).
pred(x, y, z).
我是否可以使用findall/3来获得可以匹配模式的所有事实的列表？
例如，如果我有
我想要获得pred(a, _, _)
[pred(a, b, c), pred(a, d, f)]
浏览 2提问于2014-01-13得票数 1
我正在尝试让foreach/2循环在Prolog中工作(使用tkeclipse)。我知道它在第一个参数中需要一个元素，在第二个参数中需要一个列表来搜索该元素。
我的问题是，尽管我试图重写我的代码，并在网上寻找解决方案，但我仍然无法让它工作。
在下面的代码中，我尝试编写一个谓词visite/2，它接受博物馆的列表并返回博物馆所在城市的列表。
非常感谢你的帮助，因为这可以让我更好地为即将到来的考试做准备。
musee(paris,louvre).
musee(rome,vatican).
musee(madrid,prado).
musee(berlin,kulturforum).
musee(l
浏览 7提问于2021-06-22得票数 0
1回答
我正在使用带有clpfd库的SWI-Prolog。问题是，我用1..2^(N-1)中的项目生成了一个length N列表，约束该列表具有某些属性，并计算验证约束的最大值。在那之后，我必须找到这些最大值的最小值，但有太多的情况需要评估，Prolog结束要冻结。
maxConstrain(N,Max) :-
listN(List,N),
label(List),
constrain(List),
max_list(List,Max).
minMaxConstrain(N,M) :-
findall(Max,maxConstrain(N,Max),Maxs), min
浏览 0提问于2018-01-20得票数 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
回答已采纳
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
回答已采纳
1回答
我在备考的时候被一个过去的试题困住了。
问题是：
我想我必须使用findall/bagof/setof，因为我需要收集一组解决方案。此外，setof似乎是合适的，因为列表需要按降序显示。
到目前为止，我的解决办法是：
teams(List) :-
setof((Team, A),
(Team^team(Team, _, Wins, Draws, _), A is Wins*3 + Draws*1),
List).
然而，问题是，我没有完全得到所有的答案在一个列表中。我很可能不正确地使用团队^。我真的很想知道如何从点的角度得到有序元组的列表。它给我的输出是：
X
浏览 2提问于2016-05-15得票数 0
回答已采纳
我有一个用Prolog写的作业，我很不习惯用这种语言写代码:) 所以我需要实现一些说起来很简单，但对我来说很难编码的东西。 假设我有一个方形的房间(例如Dimension 4x4 )。我想要一个函数，它的参数是pos(Ligne,Column)，它可以验证输入的位置是否正确，考虑到平方Dimension。 所以我想让它检查，例如，在这个上下文中，pos(1,2)是否为真。 考虑到正方形的Dimension，我想用findall或between创建一个有效位置的列表，然后验证输入的位置是否在这个列表中。 但我很困惑。 所以我有 positif_position( pos(Ligne, Colu
浏览 16提问于2019-11-30得票数 1
回答已采纳
1回答
给定一个自然数的列表L，我需要创建一个包含L的所有子集的元素的和的列表。例如，如果为L=[1,3,6]，我想要获取列表[0,1,3,4,6,7,9,10]。
我试着用这段代码
subsetSums(List,Sums) :- findall(Sum,(subset(Sub,List),sum_list(Sub,Sum)),Sums).
但是在下面的查询中，我得到了[0]而不是[0,1,2,3]作为唯一的结果
?- subsetSums([1,2],Sums).
我哪里错了？
编辑:我正在编写SWI Prolog，subset/2应该是原生谓词。
浏览 12提问于2018-01-19得票数 1
回答已采纳
我想用字符串来匹配一个单词列表，并得到匹配的单词数量。
现在我有了这个：
import re
words = ["red", "blue"]
exactMatch = re.compile(r'\b%s\b' % '\\b|\\b'.join(words), flags=re.IGNORECASE)
print exactMatch.search("my blue cat")
print exactMatch.search("my red car")
print exactMatch.search(
浏览 3提问于2011-09-08得票数 2
回答已采纳
3回答
我正在试着测试括号的列表是否有效。我的代码：
checkbrackets([]).
checkbrackets(['('|T]):-
T = [')'|List],
checkbrackets(List).
checkbrackets(['('|T]):-
T = ['('|List],
append(Rest,[')'],T),
checkbrackets(Rest).
我的代码适用于['(', '(', ')', &
浏览 0提问于2020-12-04得票数 8
回答已采纳
我想做一个Prolog程序。谓词如下所示：
name(name, failedCourse, age)
程序的数据库为：
name(george, math, 20).
name(steve, phys, 21).
name(jane, chem, 22).
我想实现谓词nameList(A, B)。A表示名称列表，B表示列表中的名称数量。例如：
nameList([george, steve],2). returns true
nameList([george, steve],X). returns X=2
nameList(X,2). returns X=[george, steve];
浏览 0提问于2011-05-13得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
